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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AttachingDevice

Sigma KEE - AttachingDevice
AttachingDevice

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 15731-15732
(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
(subclass AttachingDevice Device) Merge.kif 15730-15730

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


(subclass Anchor AttachingDevice) Mid-level-ontology.kif 4130-4130
(subclass Bolt AttachingDevice) Cars.kif 4163-4163
(subclass Button AttachingDevice) Mid-level-ontology.kif 4153-4153
(subclass Clamp AttachingDevice) Mid-level-ontology.kif 4163-4163
(subclass Glue AttachingDevice) Mid-level-ontology.kif 8501-8501
(subclass MechanicalNut AttachingDevice) Cars.kif 4185-4185
(subclass Nail AttachingDevice) Mid-level-ontology.kif 4113-4113
(subclass Screw AttachingDevice) Mid-level-ontology.kif 4080-4080
(subclass Tape AttachingDevice) Mid-level-ontology.kif 4117-4117
(termFormat ChineseLanguage AttachingDevice "附着装置") domainEnglishFormat.kif 8979-8979
(termFormat ChineseTraditionalLanguage AttachingDevice "附著裝置") domainEnglishFormat.kif 8978-8978
(termFormat EnglishLanguage AttachingDevice "attaching device") domainEnglishFormat.kif 8977-8977

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 4930-4945
(=>
    (instance ?DEVICE AttachingDevice)
    (exists (?ATTACH)
        (and
            (instance ?ATTACH Attaching)
            (instrument ?ATTACH ?DEVICE))))
Merge.kif 15734-15739

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 4176-4184
(=>
    (instance ?W Wrench)
    (hasPurpose ?W
        (exists (?R ?AD)
            (and
                (instance ?R Rotating)
                (instance ?AD AttachingDevice)
                (patient ?R ?AD)
                (instrument ?R ?W)))))
Cars.kif 4153-4161


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