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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NavassaIsland

Sigma KEE - NavassaIsland
NavassaIsland(navassa island)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3817-3817 Navassa island is a dependent of united states
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 Navassa island is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3901-3901 Navassa island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 423-423 Navassa island is an instance of land area
No TPTP formula. May not be expressible in strict first order. Media.kif 2622-2622 Navassa island is a member of United states minor outlying islands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4102-4102 Navassa island has name "Navassa Island"
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