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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthernEurope

Sigma KEE - NorthernEurope
NorthernEurope(northern europe)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2496-2496
No TPTP formula. May not be expressible in strict first order. Geography.kif 215-215 Northern europe is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 158-158 Northern europe is a geographic subregion of europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 216-216 Northern europe is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 86-86 Northern europe is an instance of geographic area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 315-315 Denmark is a geographic subregion of northern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 317-317 Faroe islands is a geographic subregion of northern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 318-318 Finland is a geographic subregion of northern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 320-320 Iceland is a geographic subregion of northern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 322-322 Jan mayen island is a geographic subregion of northern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 323-323 Norway is a geographic subregion of northern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 325-325 Svalbard is a geographic subregion of northern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 326-326 Sweden is a geographic subregion of northern europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 116-116 Northern europe has name "Northern Europe"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41079-41079
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41078-41078
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41077-41077


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