No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 635-635 | Assault amphibian unit is a subclass of military unit |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 651-651 | Assault amphibian batallion is a subclass of assault amphibian unit |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 659-659 | Assault amphibian platoon is a subclass of assault amphibian unit |