No TPTP formula. May not be expressible in strict first order. | Weather.kif 1771-1771 | Dust storm is a subclass of 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. | Weather.kif 1828-1828 | Haboob is a subclass of dust storm |
![]() |