| 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 | 子類 標槍武器 and 反坦克武器 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 720-720 | 子類 標槍武器 and 導彈 |
| 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 |
|
|
|
|