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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndianOcean

Sigma KEE - IndianOcean
IndianOcean(indian ocean)
Indian_Ocean

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4631-4631 Indian ocean is connected to persian gulf
No TPTP formula. May not be expressible in strict first order. Geography.kif 4630-4630 Indian ocean is connected to south pacific ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4632-4632 Indian ocean is connected to southern ocean
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 Indian ocean is an instance of ocean

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 586-586 French southern and antarctic lands is located at indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 136-136 Bassas da india meets indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 140-140 Europa island meets indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 142-142 Glorioso islands meets indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 144-144 Heard island and mc donald islands meets indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 146-146 Juan de nova island meets indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 148-148 Mayotte meets indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 150-150 Tromelin island meets indian ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4626-4626 Indian ocean has name "Indian Ocean"
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 French southern and antarctic lands is located at the directional subregion of south and indian ocean


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