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 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

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


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 3.0 is open source software produced by Articulate Software and its partners