Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Carabiner
Carabiner(karabiner)

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


(subclass Carabiner Device) Mid-level-ontology.kif 33376-33376 Karabiner is a subclass of device
(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 33377-33381 Karabiner is a subclass of device

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


(termFormat EnglishLanguage Carabiner "carabiner") Mid-level-ontology.kif 33382-33382
(termFormat EnglishLanguage Carabiner "karabiner") Mid-level-ontology.kif 33383-33383
(subclass UncertifiedCarabiner Carabiner) Mid-level-ontology.kif 33459-33459 Uncertified carabiner is a subclass of karabiner
(subclass ClimbingCarabiner Carabiner) Sports.kif 508-508 Climbing carabiner is a subclass of karabiner

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


(=>
    (instance ?C Carabiner)
    (material Metal ?C))		 Mid-level-ontology.kif 33385-33387 If X is an instance of karabiner, then X is made of metal
(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceClosed)))
    (holdsDuring ?T
        (attribute ?C RingTorus)))		 Mid-level-ontology.kif 33404-33410 If X is an instance of karabiner and device closed is an attribute of X holds during Y, then ring torus is an attribute of X holds during Y
(=>
    (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 33412-33423 If X is an instance of karabiner and device closed is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of climbing rope and X contains Z has the modal force of possibility holds during Y
(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceOpen)))
    (holdsDuring ?T
        (not
            (attribute ?C RingTorus))))		 Mid-level-ontology.kif 33425-33432 If X is an instance of karabiner and device open is an attribute of X holds during Y, then ring torus is not an attribute of X holds during Y
(=>
    (instance ?C Carabiner)
    (exists (?H ?S)
        (and
            (instance ?H Hinge)
            (part ?H ?C)
            (instance ?S Spring)
            (part ?S ?C))))		 engineering.kif 1177-1184 If X is an instance of karabiner, then there exist Y, Z such that Y is an instance of hinge, Y is a part of X, Z is an instance of spring, and Z is a part of X


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners