No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 531-532 |
caliber XM218 and 12.7 Millimeter(s) |
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 e' relacionado internamente por SUMO a M2Browning |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 514-514 |
XM218 e' uma sub-classe de HeavyMachineGun |