No TPTP formula. May not be expressible in strict first order. | Weather.kif 1237-1237 | 尘暴 是 风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1282-1282 | 沙暴 是 尘暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1294-1294 | 雷沙暴 是 尘暴 的 subclass |