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 672-672 |
热带气旋 是 热带氣旋系统 的 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 708-708 |
热带风暴 是 热带氣旋系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 770-770 |
台风 是 热带氣旋系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 617-617 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 616-616 |
|