weaponCarryingCapability - Sigma Knowledge base Browser

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
(domain weaponCarryingCapability 3 PositiveInteger)	MilitaryDevices.kif 25-25
(domainSubclass weaponCarryingCapability 2 Weapon)	MilitaryDevices.kif 24-24
(instance weaponCarryingCapability TernaryPredicate)	MilitaryDevices.kif 20-20
(instance weaponCarryingCapability TotalValuedRelation)	MilitaryDevices.kif 21-21

appearance as argument number 2

(format ChineseLanguage weaponCarryingCapability "%1 %n 是对于 %3 的 weapon 携带容量 %2 ")	domainEnglishFormat.kif 2623-2623
(format ChineseTraditionalLanguage weaponCarryingCapability "%1 %n 是對於 %3 的 weapon 攜帶容量 %2 ")	domainEnglishFormat.kif 2622-2622
(format EnglishLanguage weaponCarryingCapability "%1 %is %n weapon carrying capability %2 for %3")	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 62537-62537
(termFormat ChineseTraditionalLanguage weaponCarryingCapability "武器攜帶能力")	domainEnglishFormat.kif 62536-62536
(termFormat EnglishLanguage weaponCarryingCapability "weapon carrying capability")	domainEnglishFormat.kif 62535-62535

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

(=> (instance ?AAV AAV) (and (weaponCarryingCapability ?AAV M2Browning 1) (weaponCarryingCapability ?AAV MK19 1)))	MilitaryDevices.kif 1678-1682
(=> (instance ?AH1 AH1) (and (weaponCarryingCapability ?AH1 M197GatlingGun 1) (weaponCarryingCapability ?AH1 AntiTankMissile 4) (weaponCarryingCapability ?AH1 AGM114 8) (weaponCarryingCapability ?AH1 AIM9 1)))	MilitaryDevices.kif 1916-1922
(=> (instance ?CH46D CH46D) (weaponCarryingCapability ?CH46D HeavyMachineGun 2))	MilitaryDevices.kif 1876-1878
(=> (instance ?CH53E CH53E) (and (weaponCarryingCapability ?CH53E M3M 1) (weaponCarryingCapability ?CH53E XM218 2)))	MilitaryDevices.kif 1804-1808
(=> (instance ?Harrier Harrier2) (and (weaponCarryingCapability ?Harrier GAU12U 1) (weaponCarryingCapability ?Harrier AGM65 7) (weaponCarryingCapability ?Harrier AIM9 4)))	MilitaryDevices.kif 1760-1765
(=> (instance ?LAV LAV25) (and (weaponCarryingCapability ?LAV M242 1) (weaponCarryingCapability ?LAV M240 2)))	MilitaryDevices.kif 1558-1562
(=> (instance ?LCAC LCAC) (and (weaponCarryingCapability ?LCAC M2Browning 2) (weaponCarryingCapability ?LCAC M60 2) (weaponCarryingCapability ?LCAC MK19 2)))	MilitaryDevices.kif 1977-1982