VerbNet: captain-29.8|pilot, captain-29.8|pilot, vehicle-51.4.1|jet, other_cos-45.4|loop, captain-29.8|pilot,
| FlyingAircraft(flying) | | acrobatics, aerobatics, airmanship, airplane_maneuver, aviate, aviation, bank, blind_flying, blind_landing, chandelle, flight_maneuver, fly, fly-by, fly_blind, fly_contact, flyover, flypast, glide, gliding, hang_gliding, instrument_flying, jet, loop, loop-the-loop, pilot, power_dive, roll, sailing, sailplane, sailplaning, sideslip, slip, soar, soaring, solo, stunt_flying, stunting, test_fly VerbNet: captain-29.8|pilot, captain-29.8|pilot, vehicle-51.4.1|jet, other_cos-45.4|loop, captain-29.8|pilot, |
| appearance as argument number 1 |
|
|
| (documentation FlyingAircraft EnglishLanguage "Controlling the direction, speed, and altitude of an Aircraft") | Mid-level-ontology.kif 15390-15391 | |
| (subclass FlyingAircraft Driving) | Mid-level-ontology.kif 15389-15389 | Flying is a subclass of driving |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlyingAircraft "flying") | Mid-level-ontology.kif 15392-15392 |
| antecedent |
|
|
| (=> (instance ?FLY FlyingAircraft) (exists (?CRAFT) (and (instance ?CRAFT Aircraft) (patient ?FLY ?CRAFT)))) |
Mid-level-ontology.kif 15394-15399 |
|
| (=> (instance ?FLY FlyingAircraft) (exists (?FLIGHT) (and (instance ?FLIGHT AirTransportation) (subProcess ?FLY ?FLIGHT)))) |
Mid-level-ontology.kif 15401-15406 |
|
| consequent |
|
|
| (=> (and (instance ?PILOT Human) (attribute ?PILOT Pilot)) (hasSkill FlyingAircraft ?PILOT)) |
Biography.kif 396-400 |
|
|
|