No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3591-3593 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 798-798 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3023-3023 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3261-3261 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3587-3587 |
Tropics is an instance of geographic area |
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 |