No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11078-11078 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11079-11079 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11080-11080 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11081-11081 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11082-11082 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1232-1232 |
Ghibli e' uma sub-classe de Wind |