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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorfolkIsland
NorfolkIsland

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3825-3825 dependentGeopoliticalArea NorfolkIsland and Australia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3826-3826
No TPTP formula. May not be expressible in strict first order. pictureList.kif 629-629
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 687-687 geographicSubregion NorfolkIsland and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3905-3905 NorfolkIsland est une instance de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 651-651 NorfolkIsland est une instance de zone de terre

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4216-4216 NorfolkIsland s'appele nom "Norfolk Island"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40925-40925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40924-40924
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40923-40923

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2870-2870 codeMapping ISO-3166-1-alpha-2, "NF" and NorfolkIsland


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