Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RockClimbing
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners