SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > containsInformation
Next AsymmetricRelationcrosses    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationcontains   

containsInformation comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
AsymmetricRelation  trichotomizingOnA BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(holds ?REL ?INST ?INST))))
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(instance ?REL BinaryPredicate)
(valence ?REL 2))
containsInformationPropositionContentBearingObjectsingleValuedA 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)
(containsInformation ?OBJ1 ?PLAN1)
(containsInformation ?OBJ2 ?PLAN2))
(subsumesContentInstance ?OBJ2 ?OBJ1))))

Next AsymmetricRelationcrosses    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationcontains