SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation
Next BinaryRelation: BinaryPredicate    Up: BinaryRelation    Previous BinaryRelation: UnaryFunction   

AntisymmetricRelation 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)
       (not 
          (holds ?REL ?INST ?INST))))
IrreflexiveRelation 
instanceClassEntitysingleValuedAn object is an instance a Class if it is a member of that Class. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness
(=>
 	(instance ?REL BinaryPredicate)
 	(valence ?REL 2))
 BinaryPredicate
PartialOrderingRelation  trichotomizingOnA BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
TransitiveRelation 

Next BinaryRelation: BinaryPredicate    Up: BinaryRelation    Previous BinaryRelation: UnaryFunction