No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 326-326 |
链枪 是 重机枪 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 591-591 |
榴弹发射器 是 重机枪 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 467-467 |
M2褐变 是 重机枪 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 548-548 |
M3M 是 重机枪 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 514-514 |
XM218 是 重机枪 的 subclass |
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 |
|