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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthernHemisphere
SouthernHemisphere(southern hemisphere)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3409-3410
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1996-1996
No TPTP formula. May not be expressible in strict first order. Geography.kif 3408-3408 Southern hemisphere is an instance of hemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3471-3471 Antarctica is a geographic subregion of southern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 239-239 Central south america is a geographic subregion of southern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4467-4467 South atlantic ocean is a geographic subregion of southern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4526-4526 South pacific ocean is a geographic subregion of southern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 199-199 Southern africa is a geographic subregion of southern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4564-4564 Southern ocean is a geographic subregion of southern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 250-250 Southern south america is a geographic subregion of southern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3456-3456 Africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3483-3483 Asia and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 188-188 Central africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 192-192 Eastern africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 243-243 Eastern south america and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 247-247 Northern south america and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3489-3489 Oceania and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3466-3466 South america and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 270-270 Southeastern asia and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 266-266 Southern asia and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3550-3550 Tropics and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 204-204 Western africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 254-254 Western south america and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54202-54202
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54201-54201
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54200-54200

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