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 |
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. | Weather.kif 1645-1645 | 龙卷风 是 气旋风暴 的 subclass |