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 例 胡安德諾瓦島 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 145-145 例 胡安德諾瓦島 and Island
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 146-146 空間的符合 胡安德諾瓦島 and 印度洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3963-3963 名 "Juan de Nova Island" and 胡安德諾瓦島
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