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 1891-1896
(subclass AH1 Helicopter) MilitaryDevices.kif 1889-1889 子類 A h1 and 直升機
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 1890-1890 子類 A h1 and 軍車

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


(termFormat ChineseLanguage AH1 "A h1") domainEnglishFormat.kif 6030-6030
(termFormat ChineseTraditionalLanguage AH1 "A h1") domainEnglishFormat.kif 6029-6029
(termFormat EnglishLanguage AH1 "A h1") domainEnglishFormat.kif 6028-6028
(termFormat EnglishLanguage AH1 "AH-1 Cobra") MilitaryDevices.kif 2091-2091

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 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 3.0 is open source software produced by Articulate Software and its partners