ChangeOfPossession - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] 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

(documentation ChangeOfPossession ChineseLanguage "这是一组 Process Class，它出现在当某样东西的拥有权从一个 Agent 转换到另外一个时。")	chinese_format.kif 3071-3072
(documentation ChangeOfPossession EnglishLanguage "The Class of Processes where ownership of something is transferred from one AutonomousAgent to another.")	Merge.kif 11816-11817
(documentation ChangeOfPossession JapaneseLanguage "何かの所有権がある Agent から別の Agent に移される Process の Clas 。")	japanese_format.kif 1840-1841
(relatedInternalConcept ChangeOfPossession possesses)	Merge.kif 11814-11814	Change of possession is internally related to possesses
(subclass ChangeOfPossession SocialInteraction)	Merge.kif 11813-11813	Change of possession is a subclass of social interaction

appearance as argument number 2

(subclass Exporting ChangeOfPossession)	Economy.kif 2629-2629	Exporting is a subclass of change of possession
(subclass Getting ChangeOfPossession)	Merge.kif 11947-11947	Getting is a subclass of change of possession
(subclass Giving ChangeOfPossession)	Merge.kif 11840-11840	Giving is a subclass of change of possession
(subclass Importing ChangeOfPossession)	Economy.kif 2796-2796	Importing is a subclass of change of possession
(subclass Sharing ChangeOfPossession)	Mid-level-ontology.kif 20117-20117	Sharing is a subclass of change of possession
(subclass Transaction ChangeOfPossession)	Merge.kif 11981-11981	Transaction is a subclass of change of possession
(termFormat ChineseLanguage ChangeOfPossession "改变所有权")	chinese_format.kif 1132-1132	Transaction is a subclass of change of possession
(termFormat EnglishLanguage ChangeOfPossession "change of possession")	english_format.kif 1481-1481	Transaction is a subclass of change of possession
(termFormat FrenchLanguage ChangeOfPossession "changement de possession")	french_format.kif 810-810	Transaction is a subclass of change of possession
(termFormat Hindi ChangeOfPossession "adhikaara parivartana")	terms-hindi.txt 342-342	Transaction is a subclass of change of possession
(termFormat ItalianLanguage ChangeOfPossession "CambiamentodiPossesso")	terms-it.txt 345-345	Transaction is a subclass of change of possession
(termFormat JapaneseLanguage ChangeOfPossession "所有権の変更")	japanese_format.kif 2494-2494	Transaction is a subclass of change of possession
(termFormat PortugueseLanguage ChangeOfPossession "Mudanca de Dono")	portuguese_format.kif 762-762	Transaction is a subclass of change of possession
(termFormat cb ChangeOfPossession "kausaban sa tag-iya")	terms-cb.txt 347-347	Transaction is a subclass of change of possession
(termFormat cz ChangeOfPossession "change of possession")	terms-cz.txt 381-381	Transaction is a subclass of change of possession
(termFormat de ChangeOfPossession "Aenderung des Besitzes")	terms-de.txt 640-640	Transaction is a subclass of change of possession
(termFormat ro ChangeOfPossession "schimbarea posesiei")	relations-ro.kif 831-831	Transaction is a subclass of change of possession
(termFormat tg ChangeOfPossession "pagbabago ng pagmamay-ari")	terms-tg.txt 346-346	Transaction is a subclass of change of possession

antecedent

(=> (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 11828-11838	If a process is an instance of change of possession and the process originates at an object and the process ends up at an entity and the object is an instance of agent and the entity is an instance of agent and another entity is a patient of the process, then the object possesses the other entity holds during the beginning of the time of existence of the process and the entity possesses the other entity holds during the end of the time of existence of the process
(=> (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 11819-11826	If a process is an instance of change of possession and an entity is a patient of the process and another entity possesses the entity holds during the beginning of the time of existence of the process and a third entity possesses the entity holds during the end of the time of existence of the process, then equal the other entity and the third entity

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 is open source software produced by Articulate Software and its partners