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, 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，例如：钉子、螺丝和纽扣等。") chinese_format.kif 3630-3631
(documentation AttachingDevice EnglishLanguage "A Device whose purpose is to attach one thing to something else, e.g. nails, screws, buttons, etc.") Merge.kif 16110-16111
(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
(subclass AttachingDevice Device) Merge.kif 16109-16109 Attaching device is a subclass of device

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


(subclass Anchor AttachingDevice) Mid-level-ontology.kif 4305-4305 Anchor is a subclass of attaching device
(subclass Bolt AttachingDevice) Cars.kif 4221-4221 Bolt is a subclass of attaching device
(subclass Button AttachingDevice) Mid-level-ontology.kif 4328-4328 Button is a subclass of attaching device
(subclass Clamp AttachingDevice) Mid-level-ontology.kif 4338-4338 Clamp is a subclass of attaching device
(subclass Glue AttachingDevice) Mid-level-ontology.kif 9671-9671 Glue is a subclass of attaching device
(subclass MechanicalNut AttachingDevice) Cars.kif 4243-4243 Nut is a subclass of attaching device
(subclass Nail AttachingDevice) Mid-level-ontology.kif 4288-4288 Nail is a subclass of attaching device
(subclass Screw AttachingDevice) Mid-level-ontology.kif 4255-4255 Screw is a subclass of attaching device
(subclass Tape AttachingDevice) Mid-level-ontology.kif 4292-4292 Tape is a subclass of attaching device
(termFormat ChineseLanguage AttachingDevice "附着装置") domainEnglishFormat.kif 8977-8977 Tape is a subclass of attaching device
(termFormat ChineseTraditionalLanguage AttachingDevice "附著裝置") domainEnglishFormat.kif 8976-8976 Tape is a subclass of attaching device
(termFormat EnglishLanguage AttachingDevice "attaching device") domainEnglishFormat.kif 8975-8975 Tape is a subclass of attaching device

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 4988-5003
(=>
    (instance ?DEVICE AttachingDevice)
    (exists (?ATTACH)
        (and
            (instance ?ATTACH Attaching)
            (instrument ?ATTACH ?DEVICE))))		 Merge.kif 16113-16118

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 4351-4359
(=>
    (instance ?W Wrench)
    (hasPurpose ?W
        (exists (?R ?AD)
            (and
                (instance ?R Rotating)
                (instance ?AD AttachingDevice)
                (patient ?R ?AD)
                (instrument ?R ?W)))))		 Cars.kif 4211-4219


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