Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AttachingDevice
AttachingDevice(attaching device)
anchor_chain, anchor_rope, embroidery_stitch, fastener, fastening, fixing, holdfast, holding_device, lace, lacing, nut_and_bolt, seal, sewing_stitch, shoe_lace, shoe_string, shoelace, shoestring, slide_fastener, suction_cup, zip, zip_fastener, zipper

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


(subclass AttachingDevice Device) Merge.kif 16365-16365 Attaching device is a subclass of device
(documentation AttachingDevice EnglishLanguage "A Device whose purpose is to attach one thing to something else, e.g. nails, screws, buttons, etc.") Merge.kif 16366-16367 Attaching device is a subclass of device
(externalImage AttachingDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 93/ Nail_in_a_block_of_wood.jpg/ 200px_Nail_in_a_block_of_wood.jpg") pictureList.kif 1039-1039 Attaching device is a subclass of device

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


(subclass Screw AttachingDevice) Mid-level-ontology.kif 4835-4835 Screw is a subclass of attaching device
(subclass Nail AttachingDevice) Mid-level-ontology.kif 4868-4868 Nail is a subclass of attaching device
(subclass Tape AttachingDevice) Mid-level-ontology.kif 4872-4872 Tape is a subclass of attaching device
(subclass Anchor AttachingDevice) Mid-level-ontology.kif 4885-4885 Anchor is a subclass of attaching device
(subclass Button AttachingDevice) Mid-level-ontology.kif 4908-4908 Button is a subclass of attaching device
(subclass Clamp AttachingDevice) Mid-level-ontology.kif 4918-4918 Clamp is a subclass of attaching device
(subclass Glue AttachingDevice) Mid-level-ontology.kif 10265-10265 Glue is a subclass of attaching device
(subclass Bolt AttachingDevice) Cars.kif 4030-4030 Bolt is a subclass of attaching device
(subclass MechanicalNut AttachingDevice) Cars.kif 4052-4052 Nut is a subclass of attaching device
(subclass WasherForBolt AttachingDevice) Cars.kif 4071-4071 Washer is a subclass of attaching device
(termFormat EnglishLanguage AttachingDevice "attaching device") domainEnglishFormat.kif 8968-8968 Washer is a subclass of attaching device
(termFormat ChineseTraditionalLanguage AttachingDevice "附著裝置") domainEnglishFormat.kif 8969-8969 Washer is a subclass of attaching device
(termFormat ChineseLanguage AttachingDevice "附着装置") domainEnglishFormat.kif 8970-8970 Washer is a subclass of attaching device

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


(=>
    (instance ?DEVICE AttachingDevice)
    (exists (?ATTACH)
        (and
            (instance ?ATTACH Attaching)
            (instrument ?ATTACH ?DEVICE))))		 Merge.kif 16369-16374 If X is an instance of attaching device, then there exists Y such that Y is an instance of attaching and X is an instrument for Y
(=>
    (and
        (instance ?R Ratchet)
        (instance ?A AttachingDevice)
        (instance ?RO1 Rotating)
        (attribute ?RO1 ?DIR1)
        (instance ?RO2 Rotating)
        (attribute ?RO2 ?DIR2)
        (instance ?DIR1 RotationalAttribute)
        (instance ?DIR2 RotationalAttribute)
        (not
            (equal ?RO1 ?RO2))
        (causes ?RO1 ?RO2)
        (patient ?RO1 Ratchet)
        (patient ?RO2 ?A))
    (equal ?DIR1 ?DIR2))		 Cars.kif 4819-4834 If All of the following hold: (1) X is an instance of ratchet (2) Y is an instance of attaching device (3) Z is an instance of rotating (4) W is an attribute of Z (5) V is an instance of rotating (6) U is an attribute of V (7) W is an instance of rotational attribute (8) U is an instance of rotational attribute (9) equal Z and V (10) Z causes V (11) ratchet is a patient of Z (12) Y is a patient of V, then equal W and U

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


(=>
    (instance ?W Wrench)
    (hasPurpose ?W
        (exists (?R ?AD)
            (and
                (instance ?R Rotating)
                (instance ?AD AttachingDevice)
                (patient ?R ?AD)
                (instrument ?R ?W)))))		 Cars.kif 4020-4028 If X is an instance of wrench, then X has the purpose there exist Y, Z such that Y is an instance of rotating, Z is an instance of attaching device, Z is a patient of Y, and X is an instrument for Y
(=>
    (instance ?W WasherForBolt)
    (hasPurpose ?W
        (exists (?O1 ?O2)
            (and
                (instance ?O1 CorpuscularObject)
                (instance ?O2 AttachingDevice)
                (meetsSpatially ?O1 ?W)
                (contains ?W ?O2)))))		 Cars.kif 4079-4087 If X is an instance of washer, then X has the purpose there exist Y, Z such that Y is an instance of corpuscular object, Z is an instance of attaching device, Y meets X, and X contains Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners