TreeView Knowledge Base Browser - ChangeOfPossession

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ChangeOfPossession

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3071-3072
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11666-11667
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1840-1841
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11664-11664	Change of possession is internally related to possesses
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11663-11663	Change of possession is a subclass of social interaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2394-2394	Exporting is a subclass of change of possession
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11797-11797	Getting is a subclass of change of possession
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11690-11690	Giving is a subclass of change of possession
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18559-18559	Sharing is a subclass of change of possession
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11831-11831	Transaction is a subclass of change of possession
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1132-1132
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1481-1481
No TPTP formula. May not be expressible in strict first order.	french_format.kif 810-810
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 342-342
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 345-345
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2494-2494
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 762-762
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 347-347
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 381-381
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 831-831
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 346-346

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11678-11688	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11669-11676	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 the other entity is not equal to the third entity

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

Show without tree

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