| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 779-779 | SMAW bunker buster is a subclass of anti armor weapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 780-780 | SMAW bunker buster is a subclass of missile |
|
|