No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1571-1571 | 子類 APC and 軍車 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1572-1572 | 子類 APC and 乘用車 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1573-1573 | 子類 APC and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1574-1574 | 子類 APC and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1575-1575 | 子類 APC and 裝甲車 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1509-1509 | 子類 LAV and APC |