JavelinWeapon
|
|
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 | JavelinWeapon est une sous-classe de AntiTankWeapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 720-720 | JavelinWeapon est une sous-classe de 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 |
|