Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AH1(A h1) |
| appearance as argument number 1 |
|
| (subclass AH1 Helicopter) | MilitaryDevices.kif 2046-2046 | A h1 is a subclass of helicopter |
| (subclass AH1 MilitaryVehicle) | MilitaryDevices.kif 2047-2047 | A h1 is a subclass of military vehicle |
| (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 2048-2053 | A h1 is a subclass of military vehicle |
| appearance as argument number 2 |
|
|
| 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 2057-2069 | If X is an instance of A h1, then the length of X is 17.68 meter(s), the width of X is 14.63 meter(s), the height of X is 4.44 meter(s), 4634.0 kilogram(s) is a weight of X, and 587.0 kilometer(s) is an effective range of X |
| (=> (instance ?AH1 AH1) (and (weaponCarryingCapability ?AH1 M197GatlingGun 1) (weaponCarryingCapability ?AH1 AntiTankMissile 4) (weaponCarryingCapability ?AH1 AGM114 8) (weaponCarryingCapability ?AH1 AIM9 1))) |
MilitaryDevices.kif 2073-2079 | If X is an instance of A h1, then X can carry 1 weapons of type m197 gatling gun., X can carry 4 weapons of type anti tank missile., X can carry 8 weapons of type AG m114., and X can carry 1 weapons of type AI m9. |
| (=> (instance ?CH AH1) (exists (?MG) (and (instance ?MG M197GatlingGun) (part ?MG ?CH)))) |
MilitaryDevices.kif 2083-2088 | If X is an instance of A h1, then there exists Y such that Y is an instance of m197 gatling gun and Y is a part of X |
| (=> (instance ?CH AH1) (hasPurpose ?CH (exists (?ATTACK) (and (instance ?ATTACK Attack) (instrument ?ATTACK ?CH))))) |
MilitaryDevices.kif 2092-2098 | If X is an instance of A h1, then X has the purpose there exists Y such that Y is an instance of attack and X is an instrument for Y |
|