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 | 标枪武器 是 反坦克武器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 720-720 | 标枪武器 是 导弹 的 subclass |
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 |