weaponCarryingCapability - Sigma Knowledge base Browser

appearance as argument number 2

(format ChineseLanguage weaponCarryingCapability "%1 %n 是对于 %3 的 weapon 携带容量 %2 ")	domainEnglishFormat.kif 2618-2618
(format ChineseTraditionalLanguage weaponCarryingCapability "%1 %n 是對於 %3 的 weapon 攜帶容量 %2 ")	domainEnglishFormat.kif 2617-2617
(termFormat ChineseLanguage weaponCarryingCapability "武器携带能力")	domainEnglishFormat.kif 62565-62565
(termFormat ChineseTraditionalLanguage weaponCarryingCapability "武器攜帶能力")	domainEnglishFormat.kif 62564-62564
(termFormat EnglishLanguage weaponCarryingCapability "weapon carrying capability")	domainEnglishFormat.kif 62563-62563

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

(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	weaponCarryingCapability の数値 1 引数は MilitaryVehicle の instance では
(domain weaponCarryingCapability 3 PositiveInteger)	MilitaryDevices.kif 25-25	weaponCarryingCapability の数値 3 引数は正の整数の instance では
(domainSubclass weaponCarryingCapability 2 Weapon)	MilitaryDevices.kif 24-24	weaponCarryingCapability の数値 2 引数は武器のsubclass では
(instance weaponCarryingCapability TernaryPredicate)	MilitaryDevices.kif 20-20	weaponCarryingCapability は 3進述語の instance では
(instance weaponCarryingCapability TotalValuedRelation)	MilitaryDevices.kif 21-21	weaponCarryingCapability は合計値関係の instance では