MarksmanProfessional |
appearance as argument number 1 |
(instance MarksmanProfessional ProfessionalAthlete) | Sports.kif 377-377 | MarksmanProfessional e' uma instancia de ProfessionalAthlete |
appearance as argument number 2 |
(termFormat EnglishLanguage MarksmanProfessional "Marksman professional") | domainEnglishFormat.kif 65154-65154 |
antecedent |
(=> (attribute ?ATHLETE MarksmanProfessional) (hasSkill ShootingSport ?ATHLETE)) |
Sports.kif 428-430 |
|