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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnilateralGetting

 Sigma KEE - UnilateralGetting
UnilateralGetting(obtention unilat�rale)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3088-3090
No TPTP formula. May not be expressible in strict first order. Merge.kif 11812-11815
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1859-1861
No TPTP formula. May not be expressible in strict first order. Merge.kif 11810-11810 Obtention unilat�rale est reli� � l'int�rieur de SUMO � donnation unilat�rale
No TPTP formula. May not be expressible in strict first order. Merge.kif 11809-11809 Obtention unilat�rale est une sous-classe de obtenir

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21918-21918 HostageTaking est une sous-classe de obtention unilat�rale
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18615-18615 Inheriting est une sous-classe de obtention unilat�rale
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18696-18696 SeizingProperty est une sous-classe de obtention unilat�rale
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18578-18578 Stealing est une sous-classe de obtention unilat�rale
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1137-1137
No TPTP formula. May not be expressible in strict first order. english_format.kif 1491-1491
No TPTP formula. May not be expressible in strict first order. french_format.kif 815-815
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 347-347
No TPTP formula. May not be expressible in strict first order. terms-it.txt 350-350
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2499-2499
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 767-767
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 386-386
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 836-836
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 351-351

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11817-11823


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