No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10129-10129 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11440-11440 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11441-11441 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11442-11442 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11443-11443 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11444-11444 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1247-1247 |
Mistral is a subclass of wind |