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 16013-16014
(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 16012-16012 附着装置设备subclass

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


(subclass Anchor AttachingDevice) Mid-level-ontology.kif 4239-4239 附着装置subclass
(subclass Bolt AttachingDevice) Cars.kif 4160-4160 Bolt附着装置subclass
(subclass Button AttachingDevice) Mid-level-ontology.kif 4262-4262 按键附着装置subclass
(subclass Clamp AttachingDevice) Mid-level-ontology.kif 4272-4272 附着装置subclass
(subclass Glue AttachingDevice) Mid-level-ontology.kif 8898-8898 附着装置subclass
(subclass MechanicalNut AttachingDevice) Cars.kif 4182-4182 MechanicalNut附着装置subclass
(subclass Nail AttachingDevice) Mid-level-ontology.kif 4222-4222 附着装置subclass
(subclass Screw AttachingDevice) Mid-level-ontology.kif 4189-4189 螺丝附着装置subclass
(subclass Tape AttachingDevice) Mid-level-ontology.kif 4226-4226 胶带附着装置subclass
(termFormat ChineseLanguage AttachingDevice "附着装置") domainEnglishFormat.kif 8970-8970
(termFormat ChineseTraditionalLanguage AttachingDevice "附著裝置") domainEnglishFormat.kif 8969-8969
(termFormat EnglishLanguage AttachingDevice "attaching device") domainEnglishFormat.kif 8968-8968

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 4927-4942
(=>
    (instance ?DEVICE AttachingDevice)
    (exists (?ATTACH)
        (and
            (instance ?ATTACH Attaching)
            (instrument ?ATTACH ?DEVICE))))
Merge.kif 16016-16021

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 4285-4293
(=>
    (instance ?W Wrench)
    (hasPurpose ?W
        (exists (?R ?AD)
            (and
                (instance ?R Rotating)
                (instance ?AD AttachingDevice)
                (patient ?R ?AD)
                (instrument ?R ?W)))))
Cars.kif 4150-4158


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