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 数量 是 军车 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 25-25 | 武器携带能力 的 3 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 24-24 | 武器携带能力 的 2 数量 是 武器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 20-20 | 武器携带能力 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 21-21 | 武器携带能力 是 总值关系 的 instance |
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 |