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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MedanIndonesia

 Sigma KEE - MedanIndonesia
MedanIndonesia(印度尼西亞棉蘭)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2041-2041
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5142-5142
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5340-5340
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3216-3216 印度尼西亞棉蘭 是 印度尼西亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2040-2040 例 印度尼西亞棉蘭 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3217-3217 名 "Medan" and 印度尼西亞棉蘭
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36767-36767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36766-36766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36765-36765


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