No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1520-1520 | LAV25 is a subclass of LAV |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1521-1521 | LAV25 is a subclass of amphibious vehicle |