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 印度)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3736-3736 Bassas da 印度 是 法國 的 dependent
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 印度 是 非洲南部 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3863-3863 例 bassas da 印度 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 135-135 例 bassas da 印度 and Island
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 136-136 空間的符合 bassas da 印度 and 印度洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3956-3956 名 "Bassas da India" and bassas da 印度
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