No TPTP formula. May not be expressible in strict first order. | Weather.kif 552-552 | Cyclonic storm is a subclass of low pressure weather system |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 553-553 | Cyclonic storm is a subclass of storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 601-601 | Tropical cyclonic system is a subclass of cyclonic storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1645-1645 | Tornado is a subclass of cyclonic storm |