Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - weaponCarryingCapability
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 The number 1 argument of weapon carrying capability is an instance of military vehicle
(domain weaponCarryingCapability 3 PositiveInteger) MilitaryDevices.kif 25-25 The number 3 argument of weapon carrying capability is an instance of positive integer
(domainSubclass weaponCarryingCapability 2 Weapon) MilitaryDevices.kif 24-24 The number 2 argument of weapon carrying capability is a subclass of weapon
(instance weaponCarryingCapability TernaryPredicate) MilitaryDevices.kif 20-20 weapon carrying capability is an instance of ternary predicate
(instance weaponCarryingCapability TotalValuedRelation) MilitaryDevices.kif 21-21 weapon carrying capability is an instance of total valued relation

appearance as argument number 2
-------------------------


(format ChineseLanguage weaponCarryingCapability "%1 %n 是 对于 %3 的 weapon 携带容量 %2 ") domainEnglishFormat.kif 2619-2619
(format ChineseTraditionalLanguage weaponCarryingCapability "%1 %n 是 對於 %3 的 weapon 攜帶容量 %2 ") domainEnglishFormat.kif 2618-2618
(format EnglishLanguage weaponCarryingCapability "%1 %is %n weapon carrying capability %2 for %3") domainEnglishFormat.kif 2617-2617
(format EnglishLanguage weaponCarryingCapability "%1 can%n{not} carry %3 weapons of type %2.") MilitaryDevices.kif 2031-2031
(termFormat ChineseLanguage weaponCarryingCapability "武器携带能力") domainEnglishFormat.kif 62515-62515 "武器携带能力" is the printable form of weapon carrying capability in ChineseLanguage
(termFormat ChineseTraditionalLanguage weaponCarryingCapability "武器攜帶能力") domainEnglishFormat.kif 62514-62514 "武器攜帶能力" is the printable form of weapon carrying capability in ChineseTraditionalLanguage
(termFormat EnglishLanguage weaponCarryingCapability "weapon carrying capability") domainEnglishFormat.kif 62513-62513 "weapon carrying capability" is the printable form of weapon carrying capability in english language

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 1677-1681
(=>
    (instance ?AH1 AH1)
    (and
        (weaponCarryingCapability ?AH1 M197GatlingGun 1)
        (weaponCarryingCapability ?AH1 AntiTankMissile 4)
        (weaponCarryingCapability ?AH1 AGM114 8)
        (weaponCarryingCapability ?AH1 AIM9 1)))
MilitaryDevices.kif 1915-1921
(=>
    (instance ?CH46D CH46D)
    (weaponCarryingCapability ?CH46D HeavyMachineGun 2))
MilitaryDevices.kif 1875-1877
(=>
    (instance ?CH53E CH53E)
    (and
        (weaponCarryingCapability ?CH53E M3M 1)
        (weaponCarryingCapability ?CH53E XM218 2)))
MilitaryDevices.kif 1803-1807
(=>
    (instance ?Harrier Harrier2)
    (and
        (weaponCarryingCapability ?Harrier GAU12U 1)
        (weaponCarryingCapability ?Harrier AGM65 7)
        (weaponCarryingCapability ?Harrier AIM9 4)))
MilitaryDevices.kif 1759-1764
(=>
    (instance ?LAV LAV25)
    (and
        (weaponCarryingCapability ?LAV M242 1)
        (weaponCarryingCapability ?LAV M240 2)))
MilitaryDevices.kif 1557-1561
(=>
    (instance ?LCAC LCAC)
    (and
        (weaponCarryingCapability ?LCAC M2Browning 2)
        (weaponCarryingCapability ?LCAC M60 2)
        (weaponCarryingCapability ?LCAC MK19 2)))
MilitaryDevices.kif 1976-1981


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners