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 31953-31954
(subclass ClimbingCarabiner Carabiner)	Mid-level-ontology.kif 31951-31951	Climbing carabiner is a subclass of karabiner
(subclass ClimbingCarabiner SafetyDevice)	Mid-level-ontology.kif 31952-31952	Climbing carabiner is a subclass of safety device

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 31956-31962