No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 300-300 |
GAU12U est une sous-classe de GatlingGun |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 901-901 |
M197GatlingGun est une sous-classe de GatlingGun |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25586-25586 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25585-25585 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2060-2060 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25584-25584 |
|