No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1811-1811 | 代理动力车辆 是 车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1924-1924 | 周期 是 代理动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1945-1945 | 摩托车 是 代理动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2500-2500 | 独木舟 是 代理动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2503-2503 | 皮艇 是 代理动力车辆 的 subclass |