SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > possesses
Next AsymmetricRelation: precondition    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: penetrates   

possesses 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 
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(=>
 	(instance ?REL BinaryPredicate)
 	(valence ?REL 2))
Predicate 
possessesObjectAgentsingleValuedRelation that holds between an Agent and an Object when the Agent has ownership of the Object
(=>
    (possesses ?PERSON ?OBJ)
    (exists (?TYPE)
       (and
          (holdsRight ?PERSON ?TYPE)
          (forall (?PROCESS)
             (=>
                (instance ?PROCESS ?TYPE)
                (patient ?PROCESS ?OBJ))))))
 BinaryPredicate

Next AsymmetricRelation: precondition    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: penetrates