Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   FlyingAircraft
|
|
|
| appearance as argument number 1 |
|
|
| (subclass FlyingAircraft Driving) | Mid-level-ontology.kif 19717-19717 | Flying is a subclass of driving |
| (documentation FlyingAircraft EnglishLanguage "Controlling the direction, speed, and altitude of an Aircraft") | Mid-level-ontology.kif 19718-19719 | Flying is a subclass of driving |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlyingAircraft "flying") | Mid-level-ontology.kif 19720-19720 |
| antecedent |
|
|
| (=> (instance ?FLY FlyingAircraft) (exists (?CRAFT) (and (instance ?CRAFT Aircraft) (patient ?FLY ?CRAFT)))) |
Mid-level-ontology.kif 19722-19727 | If X is an instance of flying, then there exists Y such that Y is an instance of aircraft and Y is a patient of X |
| (=> (instance ?FLY FlyingAircraft) (exists (?FLIGHT) (and (instance ?FLIGHT AirTransportation) (subProcess ?FLY ?FLIGHT)))) |
Mid-level-ontology.kif 19729-19734 | If X is an instance of flying, then there exists Y such that Y is an instance of air transportation and X is a subprocess of Y |
| consequent |
|
|
| (=> (and (instance ?PILOT Human) (attribute ?PILOT Pilot)) (hasSkill FlyingAircraft ?PILOT)) |
Biography.kif 642-646 | If X is an instance of human and pilot is an attribute of X, then X has the skill to do flying |
|