| CyclonicStorm(气旋风暴)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 557-559 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 554-556 | |
| 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 552-552 | 气旋风暴 是 低压天气系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 553-553 | 气旋风暴 是 风暴 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4677-4677 | 气旋风暴 是区域 南部海洋 的 natural 有害类别 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1645-1645 | 龙卷风 是 气旋风暴 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 601-601 | 热带氣旋系统 是 气旋风暴 的 subclass |
| 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 596-596 | 最大风速半径 的 1 数量 是 气旋风暴 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 568-573 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 561-566 |
|
|
|