FlyingAircraft
|
|
appearance as argument number 1 |
(documentation FlyingAircraft EnglishLanguage "Controlling the direction, speed, and altitude of an Aircraft") | Mid-level-ontology.kif 17798-17799 | |
(subclass FlyingAircraft Driving) | Mid-level-ontology.kif 17797-17797 | FlyingAircraft è una sottoclasse di Driving |
appearance as argument number 2 |
(termFormat EnglishLanguage FlyingAircraft "flying") | Mid-level-ontology.kif 17800-17800 |
antecedent |
(=> (instance ?FLY FlyingAircraft) (exists (?CRAFT) (and (instance ?CRAFT Aircraft) (patient ?FLY ?CRAFT)))) |
Mid-level-ontology.kif 17802-17807 | |
(=> (instance ?FLY FlyingAircraft) (exists (?FLIGHT) (and (instance ?FLIGHT AirTransportation) (subProcess ?FLY ?FLIGHT)))) |
Mid-level-ontology.kif 17809-17814 |
|
consequent |
(=> (and (instance ?PILOT Human) (attribute ?PILOT Pilot)) (hasSkill FlyingAircraft ?PILOT)) |
Biography.kif 634-638 |
|