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 31096-31097
(subclass ClimbingCarabiner Carabiner)	Mid-level-ontology.kif 31094-31094	Climbing carabiner is a subclass of karabiner
(subclass ClimbingCarabiner SafetyDevice)	Mid-level-ontology.kif 31095-31095	Climbing carabiner is a subclass of safety device

appearance as argument number 2

(disjoint UncertifiedCarabiner ClimbingCarabiner)	Mid-level-ontology.kif 31108-31108	Uncertified carabiner is disjoint from climbing carabiner
(termFormat EnglishLanguage ClimbingCarabiner "climbing carabiner")	domainEnglishFormat.kif 64697-64697	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 31099-31105