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

Formal Language: 



KB Term:  Term intersection
English Word: 

  weaponCarryingCapability

 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 Le nombre 1 argument de weaponCarryingCapability est une instance de MilitaryVehicle
(domain weaponCarryingCapability 3 PositiveInteger) MilitaryDevices.kif 25-25 Le nombre 3 argument de weaponCarryingCapability est une instance de nombre entier positif
(domainSubclass weaponCarryingCapability 2 Weapon) MilitaryDevices.kif 24-24 Le nombre 2 argument de weaponCarryingCapability est une sous-classe de arme
(instance weaponCarryingCapability TernaryPredicate) MilitaryDevices.kif 20-20 weaponCarryingCapability est une instance de pr�dicat ternaire
(instance weaponCarryingCapability TotalValuedRelation) MilitaryDevices.kif 21-21 weaponCarryingCapability est une instance de relation total

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 62583-62583
(termFormat ChineseTraditionalLanguage weaponCarryingCapability "武器攜帶能力") domainEnglishFormat.kif 62582-62582
(termFormat EnglishLanguage weaponCarryingCapability "weapon carrying capability") domainEnglishFormat.kif 62581-62581

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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