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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Carabiner

Sigma KEE - Carabiner
Carabiner

appearance as argument number 1
-------------------------


(documentation Carabiner EnglishLanguage "A carabiner or karabiner is a specialized type of shackle, a metal loop with a spring-loaded gate used to quickly and reversibly connect components, most notably in safety-critical systems. [from Wikipedia] Some carabiners have locking gates, or wire gates, or bent gates.") Mid-level-ontology.kif 30290-30294
(subclass Carabiner Device) Mid-level-ontology.kif 30289-30289 subclass Carabiner and Device

appearance as argument number 2
-------------------------


(subclass ClimbingCarabiner Carabiner) Mid-level-ontology.kif 30341-30341 subclass ClimbingCarabiner and Carabiner
(subclass UncertifiedCarabiner Carabiner) Mid-level-ontology.kif 30354-30354 subclass UncertifiedCarabiner and Carabiner
(termFormat EnglishLanguage Carabiner "carabiner") Mid-level-ontology.kif 30295-30295
(termFormat EnglishLanguage Carabiner "karabiner") Mid-level-ontology.kif 30296-30296

antecedent
-------------------------


(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceClosed)))
    (holdsDuring ?T
        (attribute ?C RingTorus)))
Mid-level-ontology.kif 30311-30317
(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceClosed)))
    (holdsDuring ?T
        (modalAttribute
            (exists (?R)
                (and
                    (instance ?R ClimbingRope)
                    (contains ?C ?R))) Possibility)))
Mid-level-ontology.kif 30319-30330
(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceOpen)))
    (holdsDuring ?T
        (not
            (attribute ?C RingTorus))))
Mid-level-ontology.kif 30332-30339
(=>
    (instance ?C Carabiner)
    (exists (?H ?S)
        (and
            (instance ?H Hinge)
            (part ?H ?C)
            (instance ?S Spring)
            (part ?S ?C))))
Mid-level-ontology.kif 30302-30309
(=>
    (instance ?C Carabiner)
    (material Metal ?C))
Mid-level-ontology.kif 30298-30300


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

Show without tree


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