| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 719-719 | Javelin weapon is a subclass of anti tank weapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 720-720 | Javelin weapon is a subclass of missile |
|
|