No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2033-2033 | 铁路车辆 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2047-2047 | 火车 是 铁路车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2095-2095 | 波荡股 是 铁路车辆 的 subclass |