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 est reli� � l'int�rieur de SUMO � M2Browning |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 514-514 |
XM218 est une sous-classe de HeavyMachineGun |