Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Harrier2(harrier2)
|
| appearance as argument number 1 |
|
| (subclass Harrier2 VSTOL) | MilitaryDevices.kif 1889-1889 | Harrier2 is a subclass of VSTOL |
| (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 |
| (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 | Harrier2 is a subclass of military vehicle |
| (externalImage Harrier2 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8a/ Harrier.av8b.750pix.jpg/ 250px_Harrier.av8b.750pix.jpg") | pictureList.kif 1133-1133 | Harrier2 is a subclass of military vehicle |
| appearance as argument number 2 |
|
|
| 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 | If X is an instance of harrier2, then the length of X is 14.1 meter(s), the width of X is 9.2 meter(s), the height of X is 3.5 meter(s), 5700.0 kilogram(s) is a weight of X, and 1000.0 kilometer(s) is an effective range of X |
| (=> (instance ?Harrier Harrier2) (and (weaponCarryingCapability ?Harrier GAU12U 1) (weaponCarryingCapability ?Harrier AGM65 7) (weaponCarryingCapability ?Harrier AIM9 4))) |
MilitaryDevices.kif 1917-1922 | If X is an instance of harrier2, then X can carry 1 weapons of type GAU12U., X can carry 7 weapons of type AG m65., and X can carry 4 weapons of type AI m9. |
|