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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Niue
Niue

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3823-3823 dependentGeopoliticalArea Niue and NewZealand
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 geographicSubregion Niue and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3904-3904 Niue e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 650-650 Niue e' uma instancia de Area terrestre

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4215-4215 Niue se chama nome "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 codeMapping ISO-3166-1-alpha-2, "NU" and Niue


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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