No TPTP formula. May not be expressible in strict first order. | Military.kif 195-195 | 军事支援车辆 是 军车 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Military.kif 205-205 | 军用卡车 是 军事支援车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Military.kif 209-209 | 军用食品卡车 是 军事支援车辆 的 subclass |