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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MechanicalNut
MechanicalNut(nut)butterfly_nut, hex_nut, locknut, nut, packing_nut, safety_nut, square_nut, stuffing_nut, thumbnut, wing-nut, wing_nut, wing_screw

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


(documentation MechanicalNut EnglishLanguage "Any object with threads designed to mate with those of a Bolt. This includes any large object with a region that functions as a nut. However, it does not include regions of objects where a screw has created a threaded area and where typically therefore the material is soft enough that retracting and reinserting a screw may create a different thread pattern. This can also be contrasted with regions that are created to be nuts by the use of a MechanicalTap and MechanicalDie set.") Cars.kif 4169-4174
(subclass MechanicalNut AttachingDevice) Cars.kif 4167-4167 Nut is a subclass of attaching device

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


(termFormat EnglishLanguage MechanicalNut "nut") Cars.kif 4168-4168

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


(=>
    (instance ?N MechanicalNut)
    (hasPurpose ?N
        (exists (?A ?B)
            (and
                (instance ?A Attaching)
                (instance ?B Bolt)
                (instrument ?A ?B)
                (instrument ?A ?N)))))
Cars.kif 4176-4184

consequent
-------------------------


(=>
    (instance ?B Bolt)
    (hasPurpose ?B
        (exists (?A ?N)
            (and
                (instance ?A Attaching)
                (instance ?N MechanicalNut)
                (instrument ?A ?B)
                (instrument ?A ?N)))))
Cars.kif 4157-4165
(=>
    (instance ?MT MechanicalDie)
    (hasPurpose ?MT
        (exists (?M ?N)
            (and
                (instance ?M Making)
                (instance ?N MechanicalNut)
                (instrument ?M ?MT)
                (result ?M ?N)))))
Cars.kif 4204-4212


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