No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1891-1891 | 紧急公路车辆 是 紧急车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1892-1892 | 紧急公路车辆 是 公路车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1893-1893 | 紧急公路车辆 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1898-1898 | 消防车 是 紧急公路车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1903-1903 | 救护车 是 紧急公路车辆 的 subclass |