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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JuanDeNovaIsland

 Sigma KEE - JuanDeNovaIsland
JuanDeNovaIsland(胡安德诺瓦岛)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3803-3803 胡安德诺瓦岛 是 法国 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3804-3804
No TPTP formula. May not be expressible in strict first order. pictureList.kif 532-532
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 163-163 胡安德诺瓦岛 是 非洲南部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3894-3894 胡安德诺瓦岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 145-145 胡安德诺瓦岛 是 岛 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 146-146 胡安德诺瓦岛 接上 印度洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3963-3963 胡安德诺瓦岛 的名 是 "Juan de Nova Island"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31801-31801
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31800-31800
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31799-31799


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