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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Greenland
Greenland(greenland)
Greenland, Gronland, Kalaallit_Nunaat

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3780-3780 Greenland is a dependent of denmark
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3781-3781
No TPTP formula. May not be expressible in strict first order. pictureList.kif 474-474
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 411-411 Greenland is a geographic subregion of northern north america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3882-3882 Greenland is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 401-401 Greenland is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4082-4082 Greenland has name "Greenland"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26604-26604
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26603-26603
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26602-26602

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2858-2858 "GL" in ISO-3166-1-alpha-2 denotes greenland


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