JavelinWeapon(javelin weapon) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 722-762 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2693-2693 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 719-719 | Javelin weapon is a subclass of anti tank weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 720-720 | Javelin weapon is a subclass of missile |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31531-31531 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31530-31530 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2054-2054 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31529-31529 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 773-776 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 766-769 |
|