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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Niue

Sigma KEE - Niue
Niue(niue)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3823-3823 Niue is a dependent of new zealand
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3824-3824
No TPTP formula. May not be expressible in strict first order. pictureList.kif 628-628
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 686-686 Niue is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3904-3904 Niue is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 650-650 Niue is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4215-4215 Niue has name "Niue"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40653-40653
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40652-40652
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40651-40651

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2869-2869 "NU" in ISO-3166-1-alpha-2 denotes niue


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