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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BassasDaIndia

 Sigma KEE - BassasDaIndia
BassasDaIndia(bassas da india)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3736-3736 Bassas da india is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3737-3737
No TPTP formula. May not be expressible in strict first order. pictureList.kif 264-264
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 154-154 Bassas da india is a geographic subregion of southern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3863-3863 Bassas da india is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 135-135 Bassas da india is an instance of island
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 136-136 Bassas da india meets indian ocean

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3956-3956 Bassas da india has name "Bassas da India"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10152-10152
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10151-10151
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10150-10150


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