|
|
   CyclonicStorm
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 545-547 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 542-544 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1082-1082 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 540-540 | CyclonicStorm est une sous-classe de LowPressureWeatherSystem |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 541-541 | CyclonicStorm est une sous-classe de Storm |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4677-4677 | naturalHazardTypeInArea SouthernOcean and CyclonicStorm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1632-1632 | Tornado est une sous-classe de CyclonicStorm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 589-589 | TropicalCyclonicSystem est une sous-classe de CyclonicStorm |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18276-18276 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18275-18275 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18274-18274 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 584-584 | Le nombre 1 argument de radiusOfMaximumWind est une instance de CyclonicStorm |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 556-561 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 549-554 |
|
|
|
|
