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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(subclass Harrier2 MilitaryVehicle) MilitaryDevices.kif 1734-1734
(subclass Harrier2 VSTOL) MilitaryDevices.kif 1732-1732

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


(termFormat ChineseLanguage Harrier2 "鹞2") domainEnglishFormat.kif 27418-27418
(termFormat ChineseTraditionalLanguage Harrier2 "鷂2") domainEnglishFormat.kif 27417-27417
(termFormat EnglishLanguage Harrier2 "Harrier II") MilitaryDevices.kif 2088-2088
(termFormat EnglishLanguage Harrier2 "harrier2") domainEnglishFormat.kif 27416-27416

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