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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MechanicalNut

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 4184-4189
(subclass MechanicalNut AttachingDevice) Cars.kif 4182-4182 Nut is a subclass of attaching device

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


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

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


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

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


(=>
    (instance ?B Bolt)
    (hasPurpose ?B
        (exists (?A ?N)
            (and
                (instance ?A Attaching)
                (instance ?N MechanicalNut)
                (instrument ?A ?B)
                (instrument ?A ?N)))))
Cars.kif 4172-4180
(=>
    (instance ?MT MechanicalDie)
    (hasPurpose ?MT
        (exists (?M ?N)
            (and
                (instance ?M Making)
                (instance ?N MechanicalNut)
                (instrument ?M ?MT)
                (result ?M ?N)))))
Cars.kif 4219-4227


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