TropicalCyclonicSystem(tropical cyclonic system) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 607-611 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 602-606 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 601-601 | Tropical cyclonic system is a subclass of cyclonic storm |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 732-732 | Hurricane is a subclass of tropical cyclonic system |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 668-668 | Tropical cyclone is a subclass of tropical cyclonic system |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 644-644 | Tropical depression is a subclass of tropical cyclonic system |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 704-704 | Tropical storm is a subclass of tropical cyclonic system |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 766-766 | Typhoon is a subclass of tropical cyclonic system |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 613-613 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 612-612 |
antecedent |