No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 326-326 |
Chain gun is a subclass of heavy machine gun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 591-591 |
Grenade launcher is a subclass of heavy machine gun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 467-467 |
M2 browning is a subclass of heavy machine gun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 548-548 |
M3M is a subclass of heavy machine gun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 514-514 |
XM218 is a subclass of heavy machine gun |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27828-27828 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27827-27827 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27826-27826 |
|