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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NavassaIsland

 Sigma KEE - NavassaIsland
NavassaIsland(納瓦薩島)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3817-3817 納瓦薩島 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3818-3818
No TPTP formula. May not be expressible in strict first order. pictureList.kif 614-614
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 453-453 納瓦薩島 是 加勒比地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3901-3901 例 納瓦薩島 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 423-423 例 納瓦薩島 and LandArea
No TPTP formula. May not be expressible in strict first order. Media.kif 2622-2622 會員 納瓦薩島 and UnitedStatesMinorOutlyingIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4102-4102 名 "Navassa Island" and 納瓦薩島
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39963-39963
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39962-39962
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39961-39961


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