No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 316-317 |
25.0 Millimeter(s) is a caliber of GAU12U |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 393-394 |
7.62 Millimeter(s) is a caliber of m240 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 282-283 |
25.0 Millimeter(s) is a caliber of m242 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 497-498 |
12.7 Millimeter(s) is a caliber of m2 browning |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 574-575 |
12.7 Millimeter(s) is a caliber of M3M |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 433-434 |
7.62 Millimeter(s) is a caliber of m60 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 636-637 |
40.0 Millimeter(s) is a caliber of Mk19 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 828-829 |
83.0 Millimeter(s) is a caliber of SMAW bunker buster |
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. |
Merge.kif 6693-6696 |
A real number millimeter(s) is equal to the real number and 0.001 meter(s) |