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


KB Term:  Term intersection
English Word: 

Sigma KEE - Harrier2
Harrier2(harrier2)

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


(documentation Harrier2 EnglishLanguage "The Harrier II is a family of second generation vertical/ short takeoff and landing (V/ STOL) jet aircraft of the late 20th century. They were developed from the earlier Hawker-Siddeley Harriers, are primarily used for light attack or multi-role tasks, and are almost all operated from small aircraft carriers. Versions of it are used primarily by NATO countries, and also by India. (from Wikipedia)") MilitaryDevices.kif 1892-1897
(externalImage Harrier2 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8a/ Harrier.av8b.750pix.jpg/ 250px_Harrier.av8b.750pix.jpg") pictureList.kif 1133-1133
(subclass Harrier2 JetAirplane) MilitaryDevices.kif 1890-1890 Harrier2 is a subclass of jet airplane
(subclass Harrier2 MilitaryVehicle) MilitaryDevices.kif 1891-1891 Harrier2 is a subclass of military vehicle
(subclass Harrier2 VSTOL) MilitaryDevices.kif 1889-1889 Harrier2 is a subclass of VSTOL

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


(termFormat ChineseLanguage Harrier2 "鹞2") domainEnglishFormat.kif 27496-27496
(termFormat ChineseTraditionalLanguage Harrier2 "鷂2") domainEnglishFormat.kif 27495-27495
(termFormat EnglishLanguage Harrier2 "Harrier II") MilitaryDevices.kif 2245-2245
(termFormat EnglishLanguage Harrier2 "harrier2") domainEnglishFormat.kif 27494-27494

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


(=>
    (instance ?Harrier Harrier2)
    (and
        (length ?Harrier
            (MeasureFn 14.1 Meter))
        (width ?Harrier
            (MeasureFn 9.2 Meter))
        (height ?Harrier
            (MeasureFn 3.5 Meter))
        (weight ?Harrier
            (MeasureFn 5700.0 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000.0 Kilometer))))
MilitaryDevices.kif 1901-1913
(=>
    (instance ?Harrier Harrier2)
    (and
        (weaponCarryingCapability ?Harrier GAU12U 1)
        (weaponCarryingCapability ?Harrier AGM65 7)
        (weaponCarryingCapability ?Harrier AIM9 4)))
MilitaryDevices.kif 1917-1922


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