No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1586-1589 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3264-3264 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3265-3265 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3266-3266 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3024-3024 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3267-3267 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1584-1584 |
Tundra climate zone is a subclass of polar climate zone |