ProfessionalAthlete
|
|
appearance as argument number 1 |
(documentation ProfessionalAthlete EnglishLanguage "ProfessionalAthlete is a person who is trained to compete in sports and makes his living from doing so.") | Sports.kif 1353-1354 | |
(subclass ProfessionalAthlete SkilledOccupation) | Sports.kif 1352-1352 | ProfessionalAthlete は SkilledOccupation の subclass では %n |
appearance as argument number 2 |
antecedent |
(=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (exists (?GAME) (and (instance ?GAME Sport) (contestParticipant ?GAME ?ATHLETE)))) |
Sports.kif 1363-1370 |
|
(=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (hasSkill Sport ?ATHLETE)) |
Sports.kif 1357-1361 |
|