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 武器携带能力 的 1 数量 是 军车instance
(domain weaponCarryingCapability 3 PositiveInteger) MilitaryDevices.kif 25-25 武器携带能力 的 3 数量 是 正整数instance
(domainSubclass weaponCarryingCapability 2 Weapon) MilitaryDevices.kif 24-24 武器携带能力 的 2 数量 是 武器subclass
(instance weaponCarryingCapability TernaryPredicate) MilitaryDevices.kif 20-20 武器携带能力三元谓语instance
(instance weaponCarryingCapability TotalValuedRelation) MilitaryDevices.kif 21-21 武器携带能力总值关系instance

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

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