containsInformation concept from the SUMO knowledge base

Next AsymmetricRelation: crosses Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: contains

Next AsymmetricRelation: crosses Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: contains

containsInformation	*documentation* 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
	has axiom (<=> (subsumesContentClass ?CLASS1 ?CLASS2) (forall (?INFO ?OBJ1 ?OBJ2) (=> (and (instance ?OBJ1 ?CLASS1) (instance ?OBJ2 ?CLASS2) (containsInformation ?OBJ1 ?INFO)) (containsInformation ?OBJ2 ?INFO))))
	has axiom (<=> (subsumesContentInstance ?OBJ1 ?OBJ2) (forall (?INFO) (=> (containsInformation ?OBJ1 ?INFO) (containsInformation ?OBJ2 ?INFO))))
	has axiom (=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))
	has axiom (=> (instance ?SENTENCE Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENTENCE ?PROP))))
	has axiom (=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (holdsDuring ?TIME (and (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2))))))
	has axiom (=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP))))
	has axiom (=> (subPlan ?PLAN1 ?PLAN2) (forall (?OBJ1 ?OBJ2) (=> (and (containsInformation ?OBJ1 ?PLAN1) (containsInformation ?OBJ2 ?PLAN2)) (subsumesContentInstance ?OBJ2 ?OBJ1))))
	has domain1 ContentBearingObject
	has domain2 Proposition
	*is an instance* of** AsymmetricRelation
	*is an instance* of** BinaryPredicate
BinaryRelation	*is first domain* of** DomainFn
	*is first domain* of** equivalenceRelationOn
	*is first domain* of** inverse
	*is first domain* of** irreflexiveOn
	*is first domain* of** partialOrderingOn
	*is first domain* of** RangeFn
	*is first domain* of** reflexiveOn
	*is first domain* of** totalOrderingOn
	*is first domain* of** trichotomizingOn
	*is second domain* of** inverse
Predicate	*is first domain* of** singleValued
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical


*containsInformation*
subject			fact