No TPTP formula. May not be expressible in strict first order. | Weather.kif 589-589 | Tropical cyclonic system is a subclass of cyclonic storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 632-632 | Tropical depression is a subclass of tropical cyclonic system |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 656-656 | Tropical cyclone is a subclass of tropical cyclonic system |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 692-692 | Tropical storm is a subclass of tropical cyclonic system |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 720-720 | Hurricane is a subclass of tropical cyclonic system |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 754-754 | Typhoon is a subclass of tropical cyclonic system |