MK19
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 636-637 | 40.0 Millimeter(s) is a caliber of Mk19 |
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 is a subclass of grenade launcher |
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 |
|