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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MechanicalNut

Sigma KEE - MechanicalNut
MechanicalNut

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 4148-4153
(subclass MechanicalNut AttachingDevice) Cars.kif 4146-4146

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


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

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


(=>
    (instance ?MT MechanicalDie)
    (hasPurpose ?MT
        (exists (?M ?N)
            (and
                (instance ?M Making)
                (instance ?N MechanicalNut)
                (instrument ?M ?MT)
                (result ?M ?N)))))
Cars.kif 4183-4191


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners