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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shanghai

 Sigma KEE - ChangeOfPossession
ChangeOfPossession(changement de possession)

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 11644-11645
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 11642-11642 Changement de possession est reli� � l'int�rieur de SUMO � possesses
No TPTP formula. May not be expressible in strict first order. Merge.kif 11641-11641 Changement de possession est une sous-classe de interaction social

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2394-2394 Exporting est une sous-classe de changement de possession
No TPTP formula. May not be expressible in strict first order. Merge.kif 11775-11775 Obtenir est une sous-classe de changement de possession
No TPTP formula. May not be expressible in strict first order. Merge.kif 11668-11668 Donner est une sous-classe de changement de possession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18560-18560 Sharing est une sous-classe de changement de possession
No TPTP formula. May not be expressible in strict first order. Merge.kif 11809-11809 Transaction est une sous-classe de changement de 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 11656-11666
No TPTP formula. May not be expressible in strict first order. Merge.kif 11647-11654


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