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 30839-30840
(subclass ClimbingCarabiner Carabiner)	Mid-level-ontology.kif 30837-30837	Climbing carabiner is a subclass of karabiner
(subclass ClimbingCarabiner SafetyDevice)	Mid-level-ontology.kif 30838-30838	Climbing carabiner is a subclass of safety device

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 30842-30848