Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Pilot(pilot) |  | aeronaut, airman, airplane_pilot, aviator, barnstormer, captain, co-pilot, combat_pilot, copilot, dogfighter, fighter_pilot, flier, flyer, kamikaze, pilot, pilotage, piloting, senior_pilot, strafer, stunt_flier, stunt_pilot, test_pilot, wingman |
| appearance as argument number 1 |
|
|
| (instance Pilot SkilledOccupation) | Biography.kif 639-639 | Pilot is an instance of skilled occupation |
| (documentation Pilot EnglishLanguage "Any SkilledOccupation that involves Driving an Aircraft") | Biography.kif 640-640 | Pilot is an instance of skilled occupation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|