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 3558-3558 | Oceania and eastern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3556-3556 | Oceania and northern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3557-3557 | Oceania and southern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3559-3559 | Oceania and western hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3533-3533 | South america and northern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3534-3534 | South america and southern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 269-269 | Southeastern asia and northern 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 265-265 | Southern asia and northern 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 228-228 | Southwestern europe and eastern 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 3619-3619 | Tropics and eastern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3617-3617 | Tropics and northern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3618-3618 | Tropics and southern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3620-3620 | Tropics and western hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 201-201 | Western africa and eastern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 203-203 | Western africa and northern 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 202-202 | Western africa and western hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 221-221 | Western europe and eastern 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 253-253 | Western south america and northern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | Western south america and southern hemisphere overlapsSpatially |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |