No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 300-300 |
子類 GAU12U and 加特林機槍 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 901-901 |
子類 m197加特林槍 and 加特林機槍 |
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 |
|