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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndianOcean

 Sigma KEE - IndianOcean
IndianOcean(印度洋)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4631-4631 連接的 印度洋 and 波斯灣
No TPTP formula. May not be expressible in strict first order. Geography.kif 4630-4630 連接的 印度洋 and 南太平洋
No TPTP formula. May not be expressible in strict first order. Geography.kif 4632-4632 連接的 印度洋 and 南部海洋
No TPTP formula. May not be expressible in strict first order. Geography.kif 4628-4628
No TPTP formula. May not be expressible in strict first order. pictureList.kif 514-514
No TPTP formula. May not be expressible in strict first order. Geography.kif 4625-4625 例 印度洋 and 海洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 586-586 位於 法國南部和南極的土地 and 印度洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 136-136 空間的符合 bassas da 印度 and 印度洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 140-140 空間的符合 歐羅巴島 and 印度洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 142-142 空間的符合 glorioso島嶼 and 印度洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 144-144 空間的符合 聽過島嶼和麥當勞群島 and 印度洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 146-146 空間的符合 胡安德諾瓦島 and 印度洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 148-148 空間的符合 馬約特 and 印度洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 150-150 空間的符合 特羅姆林島 and 印度洋
No TPTP formula. May not be expressible in strict first order. Geography.kif 4626-4626 名 "Indian Ocean" and 印度洋
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29617-29617
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29616-29616
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29615-29615

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 627-646

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 588-588 位於 法國南部和南極的土地 and 南 和 印度洋 的 directional 次要地區


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