No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6980-6980 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8279-8279 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8280-8280 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8281-8281 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8282-8282 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8284-8284 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1226-1226 |
Windstorm e' uma sub-classe de Storm |