No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 531-532 |
12.7 Millimeter(s) is a caliber of XM218 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 517-527 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8307-8307 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8308-8308 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8309-8309 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8310-8310 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 515-515 |
XM218 is internally related to m2 browning |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 514-514 |
XM218 is a subclass of heavy machine gun |