ShootingSport
|
|
appearance as argument number 1 |
(documentation ShootingSport EnglishLanguage "A competitive Sport involving tests of proficiency (accuracy and speed) Shooting various types of guns such as firearms.") | Sports.kif 189-189 | |
(subclass ShootingSport Sport) | Sports.kif 188-188 |
appearance as argument number 2 |
(subclass SkeetShooting ShootingSport) | Sports.kif 1194-1194 | |
(termFormat EnglishLanguage ShootingSport "shooting sport") | domainEnglishFormat.kif 65491-65491 |
antecedent |
(=> (instance ?SS ShootingSport) (exists (?S) (and (instance ?S Shooting) (subProcess ?S ?SS)))) |
Sports.kif 191-196 |
consequent |
(=> (attribute ?ATHLETE MarksmanProfessional) (hasSkill ShootingSport ?ATHLETE)) |
Sports.kif 428-430 |