| RockClimbing(rock climbing) | | rock_climbing |
| appearance as argument number 1 |
|
|
| (documentation RockClimbing EnglishLanguage "Rock climbing is a sport in which participants climb up or across natural rock formations or artificial rock walls.") | Sports.kif 497-497 | |
| (subclass RockClimbing Sport) | Sports.kif 496-496 | Rock climbing is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RockClimbing "rock climbing") | domainEnglishFormat.kif 65442-65442 |
| consequent |
|
|
| (=> (attribute ?ATHLETE RockClimber) (hasSkill RockClimbing ?ATHLETE)) |
Sports.kif 498-500 |
|
| (=> (instance ?CC ClimbingCarabiner) (hasPurpose ?CC (exists (?RC) (and (instance ?RC RockClimbing) (instrument ?RC ?CC))))) |
Mid-level-ontology.kif 31956-31962 |
|
|
|
|