No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1306-1306 |
Haboob est une sous-classe de DustStorm |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1294-1294 |
SandStorm est une sous-classe de DustStorm |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20718-20718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20717-20717 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20716-20716 |
|