MK19 |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 636-637 | caliber MK19 and 40.0 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 608-632 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1187-1187 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 607-607 | MK19 est une sous-classe de GrenadeLauncher |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38139-38139 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38138-38138 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2051-2051 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38137-38137 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 648-651 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 641-644 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1678-1682 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1701-1706 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1977-1982 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 628-633 |
|