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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralEurope

Sigma KEE - CentralEurope
CentralEurope(central europe)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2442-2442
No TPTP formula. May not be expressible in strict first order. Geography.kif 212-212 Central europe is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 156-156 Central europe is a geographic subregion of europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 213-213 Central europe is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 84-84 Central 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 275-275 Austria is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 277-277 Czech republic is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 279-279 Germany is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 281-281 Hungary is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 283-283 Liechtenstein is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 285-285 Poland is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 287-287 Slovakia is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 289-289 Slovenia is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 291-291 Switzerland is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 114-114 Central europe has name "Central Europe"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13848-13848
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13847-13847
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13846-13846


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