No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 316-317 |
測量 25.0 and 毫米 是 GAU12U 的 caliber |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 393-394 |
測量 7.62 and 毫米 是 M240 的 caliber |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 282-283 |
測量 25.0 and 毫米 是 M242 的 caliber |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 497-498 |
測量 12.7 and 毫米 是 m2褐變 的 caliber |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 574-575 |
測量 12.7 and 毫米 是 M3M 的 caliber |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 433-434 |
測量 7.62 and 毫米 是 M60 的 caliber |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 636-637 |
測量 40.0 and 毫米 是 Mk19 的 caliber |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 828-829 |
測量 83.0 and 毫米 是 SMAW掩體破壞者 的 caliber |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 531-532 |
測量 12.7 and 毫米 是 XM218 的 caliber |