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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ratchet
Ratchet

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


(documentation Ratchet EnglishLanguage "A Wrench that allows an engaged Bolt to exhibit Rotating freely in one direction but not another, with respect to the handle of the wrench. Some wrenches have a switch that allows selection of one of two directions of free rotation.") Cars.kif 4922-4925
(subclass Ratchet Wrench) Cars.kif 4921-4921

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


(subclass SnapOnRatchet Ratchet) Cars.kif 4962-4962
(termFormat EnglishLanguage Ratchet "ratchet") domainEnglishFormat.kif 65386-65386

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


(=>
    (and
        (instance ?R Ratchet)
        (instance ?A AttachingDevice)
        (instance ?RO1 Rotating)
        (attribute ?RO1 ?DIR1)
        (instance ?RO2 Rotating)
        (attribute ?RO2 ?DIR2)
        (instance ?DIR1 RotationalAttribute)
        (instance ?DIR2 RotationalAttribute)
        (not
            (equal ?RO1 ?RO2))
        (causes ?RO1 ?RO2)
        (patient ?RO1 Ratchet)
        (patient ?RO2 ?A))
    (equal ?DIR1 ?DIR2))
Cars.kif 4927-4942


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 is open source software produced by Articulate Software and its partners