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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AH1
AH1(A h1)

appearance as argument number 1
-------------------------


(documentation AH1 EnglishLanguage "The Bell AH-1 Cobra, called the Huey Cobra, Cobra, Sea Cobra, or Snake (depending on the model), is an attack helicopter, designed by Bell Helicopter Textron. It shares a common engine, transmission and rotor system with the UH-1. It is now fully replaced by the AH-64 Apache in US Army service, but upgraded versions continue to fly with US Marine Corps, US Navy and several other users. (from Wikipedia)") MilitaryDevices.kif 2048-2053
(subclass AH1 Helicopter) MilitaryDevices.kif 2046-2046 A h1 is a subclass of helicopter
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 2047-2047 A h1 is a subclass of military vehicle

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


(termFormat ChineseLanguage AH1 "A h1") domainEnglishFormat.kif 6039-6039
(termFormat ChineseTraditionalLanguage AH1 "A h1") domainEnglishFormat.kif 6038-6038
(termFormat EnglishLanguage AH1 "A h1") domainEnglishFormat.kif 6037-6037
(termFormat EnglishLanguage AH1 "AH-1 Cobra") MilitaryDevices.kif 2248-2248

antecedent
-------------------------


(=>
    (instance ?AH1 AH1)
    (and
        (length ?AH1
            (MeasureFn 17.68 Meter))
        (width ?AH1
            (MeasureFn 14.63 Meter))
        (height ?AH1
            (MeasureFn 4.44 Meter))
        (weight ?AH1
            (MeasureFn 4634.0 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587.0 Kilometer))))
MilitaryDevices.kif 2057-2069
(=>
    (instance ?AH1 AH1)
    (and
        (weaponCarryingCapability ?AH1 M197GatlingGun 1)
        (weaponCarryingCapability ?AH1 AntiTankMissile 4)
        (weaponCarryingCapability ?AH1 AGM114 8)
        (weaponCarryingCapability ?AH1 AIM9 1)))
MilitaryDevices.kif 2073-2079
(=>
    (instance ?CH AH1)
    (exists (?MG)
        (and
            (instance ?MG M197GatlingGun)
            (part ?MG ?CH))))
MilitaryDevices.kif 2083-2088
(=>
    (instance ?CH AH1)
    (hasPurpose ?CH
        (exists (?ATTACK)
            (and
                (instance ?ATTACK Attack)
                (instrument ?ATTACK ?CH)))))
MilitaryDevices.kif 2092-2098


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