Bolt - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Bolt AttachingDevice)	Cars.kif 4030-4030	Bolt is a subclass of attaching device
(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 4032-4040	Bolt is a subclass of attaching device

appearance as argument number 2

(termFormat EnglishLanguage Bolt "bolt")

antecedent

(=>
    (instance ?B Bolt)
    (hasPurpose ?B
        (exists (?A ?N)
            (and
                (instance ?A Attaching)
                (instance ?N MechanicalNut)
                (instrument ?A ?B)
                (instrument ?A ?N)))))

If X is an instance of bolt, then X has the purpose there exist Y, Z such that Y is an instance of attaching, Z is an instance of nut, X is an instrument for Y, and Z is an instrument for Y

consequent

(=> (instance ?N MechanicalNut) (hasPurpose ?N (exists (?A ?B) (and (instance ?A Attaching) (instance ?B Bolt) (instrument ?A ?B) (instrument ?A ?N)))))	Cars.kif 4061-4069	If X is an instance of nut, then X has the purpose there exist Y, Z such that Y is an instance of attaching, Z is an instance of bolt, Z is an instrument for Y, and X is an instrument for Y
(=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?B) (and (instance ?B Bolt) (contains ?W ?B)))))	Cars.kif 4093-4099	If X is an instance of washer, then X has the purpose there exists Y such that Y is an instance of bolt and X contains Y
(=> (instance ?MT MechanicalTap) (hasPurpose ?MT (exists (?M ?B) (and (instance ?M Making) (instance ?B Bolt) (instrument ?M ?MT) (result ?M ?B)))))	Cars.kif 4112-4120	If X is an instance of tap, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is an instance of bolt, X is an instrument for Y, and Z is a result of Y