No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1310-1310 |
Haboob is a subclass of dust storm |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1298-1298 |
Sand storm is a subclass of dust storm |
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 |
|