Pilot(飛行員) |
appearance as argument number 1 |
(documentation Pilot EnglishLanguage "Any SkilledOccupation that involves Driving an Aircraft") | Biography.kif 632-632 | |
(instance Pilot SkilledOccupation) | Biography.kif 631-631 | 例 飛行員 and 熟練的職業 |
appearance as argument number 2 |
(termFormat ChineseLanguage Pilot "飞行员") | domainEnglishFormat.kif 45866-45866 | |
(termFormat ChineseTraditionalLanguage Pilot "飛行員") | domainEnglishFormat.kif 45865-45865 | |
(termFormat EnglishLanguage Pilot "pilot") | domainEnglishFormat.kif 45864-45864 |
antecedent |
(=> (and (instance ?PILOT Human) (attribute ?PILOT Pilot)) (hasSkill FlyingAircraft ?PILOT)) |
Biography.kif 634-638 |
|