No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 927-927 |
GatlingGun est une sous-classe de AutomaticGun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 450-450 |
HeavyMachineGun est une sous-classe de AutomaticGun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 358-358 |
M240 est une sous-classe de AutomaticGun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 410-410 |
M60 est une sous-classe de AutomaticGun |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9180-9180 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9179-9179 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9178-9178 |
|