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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AH1
AH1(A h1)AH-1_Cobra, 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 1891-1896
(subclass AH1 Helicopter) MilitaryDevices.kif 1889-1889 A h1 is a subclass of helicopter
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 1890-1890 A h1 is a subclass of military vehicle

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


(termFormat ChineseLanguage AH1 "A h1") domainEnglishFormat.kif 6037-6037 "A h1" is the printable form of A h1 in ChineseLanguage
(termFormat ChineseTraditionalLanguage AH1 "A h1") domainEnglishFormat.kif 6036-6036 "A h1" is the printable form of A h1 in ChineseTraditionalLanguage
(termFormat EnglishLanguage AH1 "A h1") domainEnglishFormat.kif 6035-6035 "A h1" is the printable form of A h1 in english language
(termFormat EnglishLanguage AH1 "AH-1 Cobra") MilitaryDevices.kif 2091-2091 "AH-1 Cobra" is the printable form of A h1 in english language

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 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587 Kilometer))))
MilitaryDevices.kif 1900-1912
(=>
    (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 ?CH AH1)
    (exists (?MG)
        (and
            (instance ?MG M197GatlingGun)
            (part ?MG ?CH))))
MilitaryDevices.kif 1926-1931
(=>
    (instance ?CH AH1)
    (hasPurpose ?CH
        (exists (?ATTACK)
            (and
                (instance ?ATTACK Attack)
                (instrument ?ATTACK ?CH)))))
MilitaryDevices.kif 1935-1941


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