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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AttachingDevice
AttachingDevice(attaching device)
anchor_chain, anchor_rope, attaching_device, 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
-------------------------


(documentation AttachingDevice ChineseLanguage "这是一个把一样东西和另外一样洞系在一起的 Device,例如:钉子、螺丝和纽扣等。") Merge.kif 16182-16183
(documentation AttachingDevice EnglishLanguage "A Device whose purpose is to attach one thing to something else, e.g. nails, screws, buttons, etc.") Merge.kif 16180-16181
(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 1040-1040 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 93/ Nail_in_a_block_of_wood.jpg/ 200px-Nail_in_a_block_of_wood.jpg" is a URL depicting attaching device
(subclass AttachingDevice Device) Merge.kif 16179-16179 Attaching device is a subclass of device

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


(subclass Anchor AttachingDevice) Mid-level-ontology.kif 4713-4713 Anchor is a subclass of attaching device
(subclass Bolt AttachingDevice) Cars.kif 4124-4124 Bolt is a subclass of attaching device
(subclass Button AttachingDevice) Mid-level-ontology.kif 4736-4736 Button is a subclass of attaching device
(subclass Clamp AttachingDevice) Mid-level-ontology.kif 4746-4746 Clamp is a subclass of attaching device
(subclass Glue AttachingDevice) Mid-level-ontology.kif 8572-8572 Glue is a subclass of attaching device
(subclass MechanicalNut AttachingDevice) Cars.kif 4146-4146 Nut is a subclass of attaching device
(subclass Nail AttachingDevice) Mid-level-ontology.kif 4696-4696 Nail is a subclass of attaching device
(subclass Screw AttachingDevice) Mid-level-ontology.kif 4663-4663 Screw is a subclass of attaching device
(subclass Tape AttachingDevice) Mid-level-ontology.kif 4700-4700 Tape is a subclass of attaching device
(termFormat EnglishLanguage AttachingDevice "attaching device") domainEnglishFormat.kif 1930-1930 "attaching device" is the printable form of attaching device in english language

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


(=>
    (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 4898-4913
(=>
    (instance ?DEVICE AttachingDevice)
    (exists (?ATTACH)
        (and
            (instance ?ATTACH Attaching)
            (instrument ?ATTACH ?DEVICE))))
Merge.kif 16185-16190

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


(=>
    (instance ?W WasherForBolt)
    (hasPurpose ?W
        (exists (?O1 ?O2)
            (and
                (instance ?O1 CorpuscularObject)
                (instance ?O2 AttachingDevice)
                (meetsSpatially ?O1 ?W)
                (contains ?W ?O2)))))
Mid-level-ontology.kif 4759-4767
(=>
    (instance ?W Wrench)
    (hasPurpose ?W
        (exists (?R ?AD)
            (and
                (instance ?R Rotating)
                (instance ?AD AttachingDevice)
                (patient ?R ?AD)
                (instrument ?R ?W)))))
Cars.kif 4114-4122


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners