weaponCarryingCapability |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 27-29 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 23-23 | 域 武器攜帶能力, 1 and 軍車 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 25-25 | 域 武器攜帶能力, 3 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 24-24 | 域子類 武器攜帶能力, 2 and Weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 20-20 | 例 武器攜帶能力 and TernaryPredicate |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 21-21 | 例 武器攜帶能力 and TotalValuedRelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2622-2622 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2621-2621 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2032-2032 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62571-62571 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62570-62570 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62569-62569 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 35-43 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1678-1682 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1916-1922 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1876-1878 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1804-1808 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1760-1765 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1558-1562 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1977-1982 |