SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > realization |
realization comparison table |
Subject | have domain2 | have domain1 | documentation | have axiom | is a kind of | is an instance of | have relatedInternalConcept |
---|---|---|---|---|---|---|---|
AsymmetricRelation | A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation | (=> | IrreflexiveRelation | ||||
realization | Proposition | Process | 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 | (=> | AsymmetricRelation | equivalentContentInstance |
Next AsymmetricRelation: reflexiveOn Up: AsymmetricRelation Previous AsymmetricRelation: rangeSubclass