| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1846-1846 | 车皮 是 陆地车辆 的 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 1841-1841 | 卡车拖车 是 车皮 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1866-1866 | 舞台教练 是 车皮 的 subclass |
|
|