TropicalCyclonicSystem
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 595-599 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 590-594 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 589-589 | TropicalCyclonicSystem est une sous-classe de CyclonicStorm |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 720-720 | Hurricane est une sous-classe de TropicalCyclonicSystem |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 656-656 | TropicalCyclone est une sous-classe de TropicalCyclonicSystem |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 632-632 | TropicalDepression est une sous-classe de TropicalCyclonicSystem |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 692-692 | TropicalStorm est une sous-classe de TropicalCyclonicSystem |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 754-754 | Typhoon est une sous-classe de TropicalCyclonicSystem |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 601-601 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 600-600 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 611-630 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 603-609 |