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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthernAsia

 Sigma KEE - SouthernAsia
SouthernAsia(南亞)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 7941-7941
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6880-6880
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7942-7942
No TPTP formula. May not be expressible in strict first order. Geography.kif 182-182 南亞 是 亞洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 264-264 南亞 是 東半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 103-103 例 南亞 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 265-265 在空間上重疊 南亞 and 北半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 266-266 在空間上重疊 南亞 and 南半球

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 567-567 阿富汗 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 569-569 孟加拉國 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 571-571 不丹 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 573-573 英屬印度洋領地 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 574-574 印度 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 576-576 馬爾代夫 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 578-578 尼泊爾 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 580-580 巴基斯坦 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 582-582 斯里蘭卡 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 134-134 名 "Southern Asia" and 南亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54174-54174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54173-54173
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54172-54172


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