TreeView Knowledge Base Browser - 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 62573-62573
(termFormat ChineseTraditionalLanguage weaponCarryingCapability "武器攜帶能力")	domainEnglishFormat.kif 62572-62572
(termFormat EnglishLanguage weaponCarryingCapability "weapon carrying capability")	domainEnglishFormat.kif 62571-62571

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

軍車是對於 PositiveInteger 的 weapon 攜帶容量 Weapon 例 Object and Weapon 能力 Process, CaseRole and Object 子類 Process and Shooting 子類 Process and Damaging
能力 Process, CaseRole and 軍車

consequent

(=> (instance ?AAV AAV) (and (weaponCarryingCapability ?AAV M2Browning 1) (weaponCarryingCapability ?AAV MK19 1)))	MilitaryDevices.kif 1678-1682	例軍車 and AAV 軍車是對於 1 的 weapon 攜帶容量 m2褐變軍車是對於 1 的 weapon 攜帶容量 Mk19
(=> (instance ?AH1 AH1) (and (weaponCarryingCapability ?AH1 M197GatlingGun 1) (weaponCarryingCapability ?AH1 AntiTankMissile 4) (weaponCarryingCapability ?AH1 AGM114 8) (weaponCarryingCapability ?AH1 AIM9 1)))	MilitaryDevices.kif 1916-1922	例軍車 and A h1 軍車是對於 1 的 weapon 攜帶容量 m197加特林槍軍車是對於 4 的 weapon 攜帶容量反坦克導彈軍車是對於 8 的 weapon 攜帶容量 AG m114 軍車是對於 1 的 weapon 攜帶容量 AI m9
(=> (instance ?CH46D CH46D) (weaponCarryingCapability ?CH46D HeavyMachineGun 2))	MilitaryDevices.kif 1876-1878	例軍車 and C h46 d 軍車是對於 2 的 weapon 攜帶容量重機槍
(=> (instance ?CH53E CH53E) (and (weaponCarryingCapability ?CH53E M3M 1) (weaponCarryingCapability ?CH53E XM218 2)))	MilitaryDevices.kif 1804-1808	例軍車 and C h53 e 軍車是對於 1 的 weapon 攜帶容量 M3M 軍車是對於 2 的 weapon 攜帶容量 XM218
(=> (instance ?Harrier Harrier2) (and (weaponCarryingCapability ?Harrier GAU12U 1) (weaponCarryingCapability ?Harrier AGM65 7) (weaponCarryingCapability ?Harrier AIM9 4)))	MilitaryDevices.kif 1760-1765	例軍車 and 鷂2 軍車是對於 1 的 weapon 攜帶容量 GAU12U 軍車是對於 7 的 weapon 攜帶容量 AG m65 軍車是對於 4 的 weapon 攜帶容量 AI m9
(=> (instance ?LAV LAV25) (and (weaponCarryingCapability ?LAV M242 1) (weaponCarryingCapability ?LAV M240 2)))	MilitaryDevices.kif 1558-1562	例軍車 and LAV25 軍車是對於 1 的 weapon 攜帶容量 M242 軍車是對於 2 的 weapon 攜帶容量 M240
(=> (instance ?LCAC LCAC) (and (weaponCarryingCapability ?LCAC M2Browning 2) (weaponCarryingCapability ?LCAC M60 2) (weaponCarryingCapability ?LCAC MK19 2)))	MilitaryDevices.kif 1977-1982	例軍車 and LCAC 軍車是對於 2 的 weapon 攜帶容量 m2褐變軍車是對於 2 的 weapon 攜帶容量 M60 軍車是對於 2 的 weapon 攜帶容量 Mk19

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: