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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoutheasternEurope

Sigma KEE - SoutheasternEurope
SoutheasternEurope(southeastern europe)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2527-2527
No TPTP formula. May not be expressible in strict first order. Geography.kif 225-225 Southeastern europe is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 161-161 Southeastern europe is a geographic subregion of europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 226-226 Southeastern europe is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 89-89 Southeastern 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 370-370 Albania is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 372-372 Bosnia and herzegovina is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 374-374 Bulgaria is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 376-376 Croatia is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 378-378 Macedonia is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 380-380 Romania is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 384-384 Serbia and montenegro is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 382-382 Turkey is a geographic subregion of southeastern europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 119-119 Southeastern europe has name "Southeastern Europe"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54087-54087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54086-54086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54085-54085


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