| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1571-1571 | APC 是 军车 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1572-1572 | APC 是 乘用车 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1573-1573 | APC 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1574-1574 | APC 是 动力车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1575-1575 | APC 是 装甲车 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1509-1509 | LAV 是 APC 的 subclass |
|
|