SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > realization
Next AsymmetricRelationreflexiveOn    UpAsymmetricRelation    Previous AsymmetricRelationrangeSubclass   

realizationdocumentation A subrelation of represents. (realization ?PROCESS ?PROP) means that ?PROCESS is a Process which expresses the content of ?PROP. Examples include a particular musical performance, which realizes the content of a musical score, or the reading of a poem2001-11-30 13:35:08.0
has axiom
(realization ?PROCESS ?PROP)
(exists (?OBJ)
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PROP))))
2001-11-30 13:35:08.0
has domain1 Process2001-11-30 13:35:08.0
has domain2 Proposition2001-11-30 13:35:08.0
has relatedInternalConcept containsInformation2001-11-30 13:35:08.0
has relatedInternalConcept equivalentContentInstance2001-11-30 13:35:08.0
is an instance of AsymmetricRelation2001-11-30 13:35:08.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next AsymmetricRelationreflexiveOn    UpAsymmetricRelation    Previous AsymmetricRelationrangeSubclass