Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ChangeOfPossession
ChangeOfPossession(change of possession)alien, alienate, change_hands, change_owners, convey, demise, desacralize, negociate, pass, secularize, transfer, vest

appearance as argument number 1
-------------------------


(subclass ChangeOfPossession SocialInteraction) Merge.kif 11917-11917 Change of possession is a subclass of social interaction
(relatedInternalConcept ChangeOfPossession possesses) Merge.kif 11918-11918 Change of possession is internally related to possesses
(documentation ChangeOfPossession EnglishLanguage "The Class of Processes where ownership of something is transferred from one AutonomousAgent to another.") Merge.kif 11920-11921 Change of possession is internally related to possesses

appearance as argument number 2
-------------------------


(subclass Giving ChangeOfPossession) Merge.kif 11944-11944 Giving is a subclass of change of possession
(subclass Getting ChangeOfPossession) Merge.kif 12051-12051 Getting is a subclass of change of possession
(subclass Transaction ChangeOfPossession) Merge.kif 12085-12085 Transaction is a subclass of change of possession
(subclass Sharing ChangeOfPossession) Mid-level-ontology.kif 20479-20479 Sharing is a subclass of change of possession
(subclass Exporting ChangeOfPossession) Economy.kif 2629-2629 Exporting is a subclass of change of possession
(subclass Importing ChangeOfPossession) Economy.kif 2796-2796 Importing is a subclass of change of possession
(termFormat EnglishLanguage ChangeOfPossession "change of possession") english_format.kif 1485-1485 Importing is a subclass of change of possession

antecedent
-------------------------


(=>
    (and
        (instance ?CHANGE ChangeOfPossession)
        (patient ?CHANGE ?OBJ)
        (holdsDuring
            (BeginFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring
            (EndFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT2 ?OBJ)))
    (not
        (equal ?AGENT1 ?AGENT2)))		 Merge.kif 11923-11930 If X is an instance of change of possession, Y is a patient of X, Z possesses Y holds during the beginning of the time of existence of X, and W possesses Y holds during the end of the time of existence of X, then equal Z and W
(=>
    (and
        (instance ?CHANGE ChangeOfPossession)
        (origin ?CHANGE ?AGENT1)
        (destination ?CHANGE ?AGENT2)
        (instance ?AGENT1 AutonomousAgent)
        (instance ?AGENT2 AutonomousAgent)
        (patient ?CHANGE ?OBJ))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring
            (EndFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT2 ?OBJ))))		 Merge.kif 11932-11942 If All of the following hold: (1) X is an instance of change of possession (2) X originates at Y (3) X ends up at Z (4) Y is an instance of agent (5) Z is an instance of agent (6) W is a patient of X, then Y possesses W holds during the beginning of the time of existence of X and Z possesses W holds during the end of the time of existence of X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners