DustStorm(dust storm)![]() | ![]() | dust_storm, duster, sandstorm, sirocco |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1775-1777 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1772-1774 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 402-402 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1771-1771 | Dust storm is a subclass of storm |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1828-1828 | Haboob is a subclass of dust storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1816-1816 | Sand storm is a subclass of dust storm |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20727-20727 | Sand storm is a subclass of dust storm |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20726-20726 | Sand storm is a subclass of dust storm |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20725-20725 | Sand storm is a subclass of dust storm |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1559-1565 |
|
![]() |
![]() |