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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bolt
Bolt(bolt)bolt, carriage_bolt, expansion_bolt, kingbolt, kingpin, machine_bolt, stove_bolt, swivel_pin

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 4147-4155
(subclass Bolt AttachingDevice) Cars.kif 4145-4145 Bolt is a subclass of attaching device

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


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

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


(=>
    (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

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


(=>
    (instance ?MT MechanicalTap)
    (hasPurpose ?MT
        (exists (?M ?B)
            (and
                (instance ?M Making)
                (instance ?B Bolt)
                (instrument ?M ?MT)
                (result ?M ?B)))))
Cars.kif 4190-4198
(=>
    (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
(=>
    (instance ?W WasherForBolt)
    (hasPurpose ?W
        (exists (?B)
            (and
                (instance ?B Bolt)
                (contains ?W ?B)))))
Mid-level-ontology.kif 4292-4298


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