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 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 |
|