containsInformation | Proposition | ContentBearingObject | singleValued | A subrelation of represents. This predicate relates a ContentBearingObject to the Proposition that is expressed by the ContentBearingObject. Examples include the relationships between a physical novel and its story and between a printed score and its musical content | (=> (subPlan ?PLAN1 ?PLAN2) (forall (?OBJ1 ?OBJ2) (=> (and (containsInformation ?OBJ1 ?PLAN1) (containsInformation ?OBJ2 ?PLAN2)) (subsumesContentInstance ?OBJ2 ?OBJ1))))
| | BinaryPredicate |