| Pilot | |
| appearance as argument number 1 |
|
|
| (documentation Pilot EnglishLanguage "Any SkilledOccupation that involves Driving an Aircraft") | Biography.kif 400-400 | |
| (instance Pilot SkilledOccupation) | Biography.kif 399-399 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Pilot "飞行员") | domainEnglishFormat.kif 45847-45847 | |
| (termFormat ChineseTraditionalLanguage Pilot "飛行員") | domainEnglishFormat.kif 45846-45846 | |
| (termFormat EnglishLanguage Pilot "pilot") | domainEnglishFormat.kif 45845-45845 |
| antecedent |
|
|
| (=> (and (instance ?PILOT Human) (attribute ?PILOT Pilot)) (hasSkill FlyingAircraft ?PILOT)) |
Biography.kif 402-406 |
|
|
|