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 |
OzoneDepletionIssue est une instance de EnvironmentalIssue |