No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2788-2791 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2793-2793 |
Ozone shield is 25.0 mile(s) above the ground |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9514-9514 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9515-9515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9512-9512 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8635-8635 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9513-9513 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9510-9510 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9511-9511 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2772-2772 |
Ozone shield is an instance of atmospheric region |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2773-2773 |
Ozone shield is an instance of compound substance |