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 1735-1740
(externalImage Harrier2 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8a/ Harrier.av8b.750pix.jpg/ 250px-Harrier.av8b.750pix.jpg") pictureList.kif 1134-1134
(subclass Harrier2 JetAirplane) MilitaryDevices.kif 1733-1733 Harrier2 is a subclass of jet airplane
(subclass Harrier2 MilitaryVehicle) MilitaryDevices.kif 1734-1734 Harrier2 is a subclass of military vehicle
(subclass Harrier2 VSTOL) MilitaryDevices.kif 1732-1732 Harrier2 is a subclass of VSTOL

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


(termFormat ChineseLanguage Harrier2 "鹞2") domainEnglishFormat.kif 27409-27409
(termFormat ChineseTraditionalLanguage Harrier2 "鷂2") domainEnglishFormat.kif 27408-27408
(termFormat EnglishLanguage Harrier2 "Harrier II") MilitaryDevices.kif 2088-2088
(termFormat EnglishLanguage Harrier2 "harrier2") domainEnglishFormat.kif 27407-27407

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 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000 Kilometer))))
MilitaryDevices.kif 1744-1756
(=>
    (instance ?Harrier Harrier2)
    (and
        (weaponCarryingCapability ?Harrier GAU12U 1)
        (weaponCarryingCapability ?Harrier AGM65 7)
        (weaponCarryingCapability ?Harrier AIM9 4)))
MilitaryDevices.kif 1760-1765


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