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