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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Crocodile

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 30810-30814
(subclass Carabiner Device) Mid-level-ontology.kif 30809-30809 Carabiner ist eine teilkategorie von Device

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


(subclass ClimbingCarabiner Carabiner) Mid-level-ontology.kif 30861-30861 ClimbingCarabiner ist eine teilkategorie von Carabiner
(subclass UncertifiedCarabiner Carabiner) Mid-level-ontology.kif 30874-30874 UncertifiedCarabiner ist eine teilkategorie von Carabiner
(termFormat EnglishLanguage Carabiner "carabiner") Mid-level-ontology.kif 30815-30815
(termFormat EnglishLanguage Carabiner "karabiner") Mid-level-ontology.kif 30816-30816

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


(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceClosed)))
    (holdsDuring ?T
        (attribute ?C RingTorus)))
Mid-level-ontology.kif 30831-30837
(=>
    (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 30839-30850
(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceOpen)))
    (holdsDuring ?T
        (not
            (attribute ?C RingTorus))))
Mid-level-ontology.kif 30852-30859
(=>
    (instance ?C Carabiner)
    (exists (?H ?S)
        (and
            (instance ?H Hinge)
            (part ?H ?C)
            (instance ?S Spring)
            (part ?S ?C))))
Mid-level-ontology.kif 30822-30829
(=>
    (instance ?C Carabiner)
    (material Metal ?C))
Mid-level-ontology.kif 30818-30820


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