SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > possesses
Next AsymmetricRelationprecondition    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationpenetrates   

possesses
subjectfact 
possessesdocumentation Relation that holds between an Agent and an Object when the Agent has ownership of the Object2001-11-30 13:35:01.0
has axiom
(<=> 
(instance ?OBJ (PropertyFn ?PERSON))
(possesses ?PERSON ?OBJ))
2001-11-30 13:35:01.0
has axiom
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(patient ?CHANGE ?OBJ)
(holdsDuring (ImmediatePastFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ))
(holdsDuring (ImmediateFutureFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ)))
(not
(equal ?AGENT1 ?AGENT2)))
2001-11-30 13:35:01.0
has axiom
(=>
(and
(instance ?GIVE Giving)
(agent ?GIVE ?AGENT1)
(destination ?GIVE ?AGENT2)
(instance ?AGENT2 Agent)
(patient ?GIVE ?OBJ))
(and
(holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ))
(holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))
2001-11-30 13:35:01.0
has axiom
(=>
(and
(instance ?TIME TimePosition)
(holdsDuring ?TIME (possesses ?AGENT1 ?OBJ))
(holdsDuring ?TIME (possesses ?AGENT2 ?OBJ)))
(equal ?AGENT1 ?AGENT2))
2001-11-30 13:35:01.0
has axiom
(=>
(possesses ?PERSON ?OBJ)
(exists (?TYPE)
(and
(holdsRight ?PERSON ?TYPE)
(forall (?PROCESS)
(=>
(instance ?PROCESS ?TYPE)
(patient ?PROCESS ?OBJ))))))
2001-11-30 13:35:01.0
has domain1 Agent2001-11-30 13:35:01.0
has domain2 Object2001-11-30 13:35:01.0
is an instance of AsymmetricRelation2001-11-30 13:35:02.0
is an instance of BinaryPredicate2001-11-30 13:35:02.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next AsymmetricRelationprecondition    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationpenetrates