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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EuropaIsland

 Sigma KEE - EuropaIsland
EuropaIsland(歐羅巴島)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3764-3764 歐羅巴島 是 法國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3765-3765
No TPTP formula. May not be expressible in strict first order. pictureList.kif 417-417
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 160-160 歐羅巴島 是 非洲南部 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3874-3874 例 歐羅巴島 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 139-139 例 歐羅巴島 and Island
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 140-140 空間的符合 歐羅巴島 and 印度洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3960-3960 名 "Europa Island" and 歐羅巴島
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22522-22522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22521-22521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22520-22520


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