| No TPTP formula. May not be expressible in strict first order. | Weather.kif 605-605 | 热带氣旋系统 是 气旋风暴 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 648-648 | 热带低气压 是 热带氣旋系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 672-672 | 热带气旋 是 热带氣旋系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 708-708 | 热带风暴 是 热带氣旋系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 736-736 | 飓风 是 热带氣旋系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 770-770 | 台风 是 热带氣旋系统 的 subclass |
|
|