No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2617-2617 |
暴风雪 是 风暴 的 subclass |
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 1253-1253 |
尘暴 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2936-2936 |
雪暴 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1251-1251 |
飑 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 843-843 |
雷雨 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1648-1648 |
龙卷风 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1242-1242 |
风暴 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2891-2891 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2890-2890 |
|