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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EasternHemisphere
EasternHemisphere(eastern hemisphere)
eastern_hemisphere, orient

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3403-3404
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1743-1743
No TPTP formula. May not be expressible in strict first order. Geography.kif 3402-3402 Eastern hemisphere is an instance of hemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3447-3447 Africa is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3474-3474 Asia is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 186-186 Central africa is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 256-256 Central asia is a geographic subregion of eastern hemisphere
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 190-190 Eastern africa is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 259-259 Eastern asia is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 209-209 Eastern europe is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 206-206 Middle east region is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 262-262 Northern asia is a geographic subregion of eastern hemisphere
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. Transportation.kif 1676-1676 Northern sea route is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 268-268 Southeastern asia is a geographic subregion of eastern hemisphere
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 198-198 Southern africa is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 264-264 Southern asia is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 218-218 Southern europe is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 272-272 Southwestern asia is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3462-3462 Antarctica and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3504 Arctic region and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3467-3467 Europe and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 194-194 Northern africa and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3480-3480 Oceania and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 228-228 Southwestern europe and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3541-3541 Tropics and eastern hemisphere is overlapsSpatially

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3410-3416 An entity is an instance of hemisphere if and only if the entity is equal to northern hemisphere or the entity is equal to southern hemisphere or the entity is equal to eastern hemisphere or the entity is equal to western hemisphere


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