weaponCarryingCapability |
appearance as argument number 1 |
(documentation weaponCarryingCapability EnglishLanguage "(weaponCarryingCapability ?MV ?WC ?I) means that the MilitaryVehicle ?MV is able to carry ?I Weapons of class ?WC.") | MilitaryDevices.kif 27-29 | |
(domain weaponCarryingCapability 1 MilitaryVehicle) | MilitaryDevices.kif 23-23 | 武器携带能力 的 1 数量 是 军车 的 instance |
(domain weaponCarryingCapability 3 PositiveInteger) | MilitaryDevices.kif 25-25 | 武器携带能力 的 3 数量 是 正整数 的 instance |
(domainSubclass weaponCarryingCapability 2 Weapon) | MilitaryDevices.kif 24-24 | 武器携带能力 的 2 数量 是 武器 的 subclass |
(instance weaponCarryingCapability TernaryPredicate) | MilitaryDevices.kif 20-20 | 武器携带能力 是 三元谓语 的 instance |
(instance weaponCarryingCapability TotalValuedRelation) | MilitaryDevices.kif 21-21 | 武器携带能力 是 总值关系 的 instance |
appearance as argument number 2 |
(format ChineseLanguage weaponCarryingCapability "%1 %n 是 对于 %3 的 weapon 携带容量 %2 ") | domainEnglishFormat.kif 2622-2622 | |
(format ChineseTraditionalLanguage weaponCarryingCapability "%1 %n 是 對於 %3 的 weapon 攜帶容量 %2 ") | domainEnglishFormat.kif 2621-2621 | |
(format EnglishLanguage weaponCarryingCapability "%1 can%n{not} carry %3 weapons of type %2.") | MilitaryDevices.kif 2032-2032 | |
(termFormat ChineseLanguage weaponCarryingCapability "武器携带能力") | domainEnglishFormat.kif 62571-62571 | |
(termFormat ChineseTraditionalLanguage weaponCarryingCapability "武器攜帶能力") | domainEnglishFormat.kif 62570-62570 | |
(termFormat EnglishLanguage weaponCarryingCapability "weapon carrying capability") | domainEnglishFormat.kif 62569-62569 |
antecedent |
(=> (and (weaponCarryingCapability ?MV ?WC ?COUNT) (instance ?WEAPON ?WC) (capability ?PC ?ROLE ?WEAPON) (or (subclass ?PC Shooting) (subclass ?PC Damaging))) (capability ?PC ?ROLE ?MV)) |
MilitaryDevices.kif 35-43 |
consequent |