SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > realization
Next AsymmetricRelation: reflexiveOn    Up: AsymmetricRelation    Previous AsymmetricRelation: rangeSubclass   

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
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
IrreflexiveRelation  
realizationPropositionProcessA 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
(=>
    (realization ?PROCESS ?PROP)
    (exists (?OBJ)
       (and
          (instance ?OBJ ContentBearingObject)
          (containsInformation ?OBJ ?PROP))))
 AsymmetricRelationequivalentContentInstance

Next AsymmetricRelation: reflexiveOn    Up: AsymmetricRelation    Previous AsymmetricRelation: rangeSubclass