No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2019-2019 | 两栖车辆 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2020-2020 | 两栖车辆 是 水车 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1521-1521 | LAV25 是 两栖车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1647-1647 | AAV 是 两栖车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1944-1944 | LCAC 是 两栖车辆 的 subclass |