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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralAsia

 Sigma KEE - CentralAsia
CentralAsia(中亞)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6242-6242
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6243-6243
No TPTP formula. May not be expressible in strict first order. Geography.kif 177-177 中亞 是 亞洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 256-256 中亞 是 東半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 257-257 中亞 是 北半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 100-100 例 中亞 and GeographicArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 529-529 哈薩克斯坦 是 中亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 531-531 吉爾吉斯斯坦 是 中亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 533-533 塔吉克斯坦 是 中亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 535-535 土庫曼斯坦 是 中亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 537-537 烏茲別克斯坦 是 中亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 131-131 名 "Central Asia" and 中亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13824-13824
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13823-13823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13822-13822


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