ClimbingCarabiner - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ClimbingCarabiner EnglishLanguage "A Carabiner that has the purpose of and is certified for use as protection in rock climbing.")	Mid-level-ontology.kif 30863-30864
(subclass ClimbingCarabiner Carabiner)	Mid-level-ontology.kif 30861-30861	Climbing carabiner is a subclass of karabiner
(subclass ClimbingCarabiner SafetyDevice)	Mid-level-ontology.kif 30862-30862	Climbing carabiner is a subclass of safety device

appearance as argument number 2

(disjoint UncertifiedCarabiner ClimbingCarabiner)	Mid-level-ontology.kif 30875-30875	Uncertified carabiner is disjoint from climbing carabiner
(termFormat EnglishLanguage ClimbingCarabiner "climbing carabiner")	domainEnglishFormat.kif 64651-64651

antecedent

(=>
    (instance ?CC ClimbingCarabiner)
    (hasPurpose ?CC
        (exists (?RC)
            (and
                (instance ?RC RockClimbing)
                (instrument ?RC ?CC)))))

Mid-level-ontology.kif 30866-30872