No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2613-2613 |
暴风雪 是 风暴 的 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 1249-1249 |
尘暴 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2932-2932 |
雪暴 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1247-1247 |
飑 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 839-839 |
雷雨 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1644-1644 |
龙卷风 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1238-1238 |
风暴 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2887-2887 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2886-2886 |
|