|
|
   FlyingAircraft
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FlyingAircraft EnglishLanguage "Controlling the direction, speed, and altitude of an Aircraft") | Mid-level-ontology.kif 18088-18089 | |
| (subclass FlyingAircraft Driving) | Mid-level-ontology.kif 18087-18087 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlyingAircraft "flying") | Mid-level-ontology.kif 18090-18090 |
| antecedent |
|
|
| (=> (instance ?FLY FlyingAircraft) (exists (?CRAFT) (and (instance ?CRAFT Aircraft) (patient ?FLY ?CRAFT)))) |
Mid-level-ontology.kif 18092-18097 | |
| (=> (instance ?FLY FlyingAircraft) (exists (?FLIGHT) (and (instance ?FLIGHT AirTransportation) (subProcess ?FLY ?FLIGHT)))) |
Mid-level-ontology.kif 18099-18104 |
| consequent |
|
|
| (=> (and (instance ?PILOT Human) (attribute ?PILOT Pilot)) (hasSkill FlyingAircraft ?PILOT)) |
Biography.kif 634-638 |
|
|
|