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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bolt
Bolt

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


(documentation Bolt EnglishLanguage "Any AttachingDevice that is designed to mate with a MechanicalNut thereby Attaching two Objects. This includes nuts with hexagonal heads that must be held or turned by a Wrench or Screwdriver as well as those that have round heads but some non-round feature that is designed to catch on the material being attached, and therefore prevent rotation, as in a carriage bolt. Bolts are distinguished from Screws in that screws must create a mating surface by gouging a thread into material, whereas bolts are designed to slip through a hole and are held in place by a nut at the opposite end from the head of the bolt. This includes threaded rods that may have nuts as spacers for freely rotating items.") Cars.kif 4178-4186
(subclass Bolt AttachingDevice) Cars.kif 4176-4176

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


(termFormat EnglishLanguage Bolt "bolt") Cars.kif 4177-4177

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


(=>
    (instance ?B Bolt)
    (hasPurpose ?B
        (exists (?A ?N)
            (and
                (instance ?A Attaching)
                (instance ?N Nut)
                (instrument ?A ?B)
                (instrument ?A ?N)))))
Cars.kif 4188-4196

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


(=>
    (instance ?MT MechanicalTap)
    (hasPurpose ?MT
        (exists (?M ?B)
            (and
                (instance ?M Making)
                (instance ?B Bolt)
                (instrument ?M ?MT)
                (result ?M ?B)))))
Cars.kif 4221-4229
(=>
    (instance ?N MechanicalNut)
    (hasPurpose ?N
        (exists (?A ?B)
            (and
                (instance ?A Attaching)
                (instance ?B Bolt)
                (instrument ?A ?B)
                (instrument ?A ?N)))))
Cars.kif 4207-4215
(=>
    (instance ?W WasherForBolt)
    (hasPurpose ?W
        (exists (?B)
            (and
                (instance ?B Bolt)
                (contains ?W ?B)))))
Mid-level-ontology.kif 4774-4780


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