No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1783-1783 | 无动力车辆 是 车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1821-1821 | 预告片 是 无动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1847-1847 | 车皮 是 无动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2594-2594 | 滑翔机 是 无动力车辆 的 subclass |