| 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 2692-2692 | |
| 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 31559-31559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31558-31558 | |
| 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 31557-31557 |
| 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 |
|
|
|
|