realization concept from the SUMO knowledge base

Next AsymmetricRelation: reflexiveOn Up: AsymmetricRelation Previous AsymmetricRelation: rangeSubclass

Next AsymmetricRelation: reflexiveOn Up: AsymmetricRelation Previous AsymmetricRelation: rangeSubclass

realization	*documentation* 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 poem
	has axiom (=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP))))
	has domain1 Process
	has domain2 Proposition
	has relatedInternalConcept containsInformation
	has relatedInternalConcept equivalentContentInstance
	*is an instance* of** AsymmetricRelation
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
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical