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

Formal Language: 



KB Term:  Term intersection
English Word: 

  de

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 4170-4178
(subclass Bolt AttachingDevice) Cars.kif 4168-4168 Bolt附着装置subclass

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


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

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


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

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


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


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