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 1890-1895
(subclass AH1 Helicopter) MilitaryDevices.kif 1888-1888 A h1 is a subclass of helicopter
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 1889-1889 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 2090-2090 "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 1899-1911
(=>
    (instance ?AH1 AH1)
    (and
        (weaponCarryingCapability ?AH1 M197GatlingGun 1)
        (weaponCarryingCapability ?AH1 AntiTankMissile 4)
        (weaponCarryingCapability ?AH1 AGM114 8)
        (weaponCarryingCapability ?AH1 AIM9 1)))
MilitaryDevices.kif 1915-1921
(=>
    (instance ?CH AH1)
    (exists (?MG)
        (and
            (instance ?MG M197GatlingGun)
            (part ?MG ?CH))))
MilitaryDevices.kif 1925-1930
(=>
    (instance ?CH AH1)
    (hasPurpose ?CH
        (exists (?ATTACK)
            (and
                (instance ?ATTACK Attack)
                (instrument ?ATTACK ?CH)))))
MilitaryDevices.kif 1934-1940


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