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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 南亚 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 265-265 南亚 和 北半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 266-266 南亚 和 南半球 重叠

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"
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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