RockClimber(rock climber) | ![]() | cragsman, rock_climber |
appearance as argument number 1 |
![]() |
(documentation RockClimber EnglishLanguage "A person who climbs rocks for sport and fun.") | Sports.kif 398-398 | |
(instance RockClimber ProfessionalAthlete) | Sports.kif 397-397 | Rock climber is an instance of professional athlete |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage RockClimber "rock climber") | domainEnglishFormat.kif 65412-65412 |
antecedent |
![]() |
(=> (attribute ?ATHLETE RockClimber) (hasSkill RockClimbing ?ATHLETE)) |
Sports.kif 510-512 |
|
![]() |
![]() |