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 and 軍車 |
(domain weaponCarryingCapability 3 PositiveInteger) | MilitaryDevices.kif 25-25 | 域 武器攜帶能力, 3 and PositiveInteger |
(domainSubclass weaponCarryingCapability 2 Weapon) | MilitaryDevices.kif 24-24 | 域子類 武器攜帶能力, 2 and Weapon |
(instance weaponCarryingCapability TernaryPredicate) | MilitaryDevices.kif 20-20 | 例 武器攜帶能力 and TernaryPredicate |
(instance weaponCarryingCapability TotalValuedRelation) | MilitaryDevices.kif 21-21 | 例 武器攜帶能力 and TotalValuedRelation |
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 |