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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WesternEurope
WesternEurope(western europe)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 160-160 Western europe is a geographic subregion of europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 223-223 Western europe is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 88-88 Western europe is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 221-221 Western europe and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 222-222 Western europe and western hemisphere is overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 348-348 Belgium is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 350-350 France is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 352-352 Guernsey is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 353-353 Ireland is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 358-358 Isle of man is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 355-355 Jersey is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 356-356 Luxembourg is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 359-359 Monaco is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 361-361 Netherlands is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 363-363 United kingdom is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 118-118 Western europe has name "Western Europe"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62742-62742
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62741-62741
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62740-62740

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 349-357


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