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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TromelinIsland

 Sigma KEE - TromelinIsland
TromelinIsland(特罗姆林岛)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3846-3846 特罗姆林岛 是 法国 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3847-3847
No TPTP formula. May not be expressible in strict first order. pictureList.kif 797-797
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 183-183 特罗姆林岛 是 非洲南部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3917-3917 特罗姆林岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 149-149 特罗姆林岛 是 岛 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 150-150 特罗姆林岛 接上 印度洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3975-3975 特罗姆林岛 的名 是 "Tromelin Island"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59234-59234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59233-59233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59232-59232


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