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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WesternHemisphere
WesternHemisphere(western hemisphere)
New_World, Occident, West, occident, western_hemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3417-3418
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2061-2061
No TPTP formula. May not be expressible in strict first order. Geography.kif 3416-3416 Western hemisphere is an instance of hemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 233-233 Caribbean region is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 238-238 Central south america is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 241-241 Eastern south america is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 236-236 Middle america is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 207-207 Middle east region is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3461-3461 North america is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4455-4455 North atlantic ocean is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 245-245 Northern south america is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1667-1667 Northwest passage is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3467-3467 South america is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 249-249 Southern south america is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 252-252 Western south america is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3473-3473 Antarctica and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3515-3515 Arctic region and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3478-3478 Europe and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 195-195 Northern africa and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3491-3491 Oceania and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 229-229 Southwestern europe and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3552-3552 Tropics and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 202-202 Western africa and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 222-222 Western europe and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 4550-4550 Arctic ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4488-4488 North pacific ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4514-4514 Northwestern Pacific Ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4468-4468 South atlantic ocean is partly located in western hemisphere

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 3420-3426 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