No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 326-326 |
ChainGun est une sous-classe de HeavyMachineGun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 591-591 |
GrenadeLauncher est une sous-classe de HeavyMachineGun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 467-467 |
M2Browning est une sous-classe de HeavyMachineGun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 548-548 |
M3M est une sous-classe de HeavyMachineGun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 514-514 |
XM218 est une sous-classe de HeavyMachineGun |
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 |
|