No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1646-1646 | 子類 AAV and 軍車 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1647-1647 | 子類 AAV and 兩棲車輛 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1648-1648 | 子類 AAV and 乘用車 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1649-1649 | 子類 AAV and 動力車輛 |