|
|
   RockClimbing
|
|
|
| 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 | RockClimbing e' uma sub-classe de Esporte |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RockClimbing "rock climbing") | domainEnglishFormat.kif 65421-65421 |
| 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 30866-30872 |
|
|
|
|