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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MiddleEastRegion
MiddleEastRegion(中東地區)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 148-154
No TPTP formula. May not be expressible in strict first order. pictureList.kif 594-594
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3352-3352
No TPTP formula. May not be expressible in strict first order. Geography.kif 206-206 中東地區 是 東半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 207-207 中東地區 是 西半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 83-83 例 中東地區 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 145-145 例 中東地區 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 286-286 方位 中東地區, 非洲 and 東北
No TPTP formula. May not be expressible in strict first order. Geography.kif 285-285 方位 中東地區, 亞洲 and 西南
No TPTP formula. May not be expressible in strict first order. Geography.kif 146-146 在空間上重疊 中東地區 and 亞洲

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 240-240 巴林 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 242-242 塞浦路斯 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 244-244 加沙地帶 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 246-246 伊朗 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 248-248 伊拉克 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 250-250 以色列 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 252-252 約旦 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 254-254 科威特 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 256-256 黎巴嫩 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 258-258 阿曼 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 260-260 卡塔爾 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 262-262 沙特阿拉伯 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 264-264 敘利亞 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 266-266 阿拉伯聯合酋長國 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 268-268 西方銀行 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 270-270 葉門 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 113-113 名 "Middle East" and 中東地區
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37463-37463
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37462-37462
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37461-37461


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