No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 326-326 |
子類 鏈槍 and 重機槍 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 591-591 |
子類 榴彈發射器 and 重機槍 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 467-467 |
子類 m2褐變 and 重機槍 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 548-548 |
子類 M3M and 重機槍 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 514-514 |
子類 XM218 and 重機槍 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27828-27828 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27827-27827 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27826-27826 |
|