No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2600-2600 |
Blizzard e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 541-541 |
CyclonicStorm e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1237-1237 |
DustStorm e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2919-2919 |
Snowstorm e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1235-1235 |
Squall e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 827-827 |
Thunderstorm e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1631-1631 |
Tornado e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1226-1226 |
Windstorm e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2874-2874 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2873-2873 |
|