No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8633-8633 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9507-9507 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9505-9505 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9506-9506 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6855-6855 |
Ozone depletion issue is an instance of environmental issue |