No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1646-1646 | Amphibious Assault Vehicle is a subclass of military vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1647-1647 | Amphibious Assault Vehicle is a subclass of amphibious vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1648-1648 | Amphibious Assault Vehicle is a subclass of passenger vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1649-1649 | Amphibious Assault Vehicle is a subclass of powered vehicle |