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 11483-11484
No TPTP formula. May not be expressible in strict first order. Merge.kif 11481-11481 Change of possession is internally related to possesses
No TPTP formula. May not be expressible in strict first order. Merge.kif 11480-11480 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 2405-2405 Exporting is a subclass of change of possession
No TPTP formula. May not be expressible in strict first order. Merge.kif 11614-11614 Getting is a subclass of change of possession
No TPTP formula. May not be expressible in strict first order. Merge.kif 11507-11507 Giving is a subclass of change of possession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17935-17935 Sharing is a subclass of change of possession
No TPTP formula. May not be expressible in strict first order. Merge.kif 11648-11648 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11495-11505
No TPTP formula. May not be expressible in strict first order. Merge.kif 11486-11493


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