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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 16189-16190
(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 16188-16188 AttachingDevice est une sous-classe de appareil

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


(subclass Anchor AttachingDevice) Mid-level-ontology.kif 4682-4682 Anchor est une sous-classe de AttachingDevice
(subclass Bolt AttachingDevice) Cars.kif 4221-4221 Bolt est une sous-classe de AttachingDevice
(subclass Button AttachingDevice) Mid-level-ontology.kif 4705-4705 Button est une sous-classe de AttachingDevice
(subclass Clamp AttachingDevice) Mid-level-ontology.kif 4715-4715 Clamp est une sous-classe de AttachingDevice
(subclass Glue AttachingDevice) Mid-level-ontology.kif 10104-10104 Glue est une sous-classe de AttachingDevice
(subclass MechanicalNut AttachingDevice) Cars.kif 4243-4243 MechanicalNut est une sous-classe de AttachingDevice
(subclass Nail AttachingDevice) Mid-level-ontology.kif 4665-4665 Nail est une sous-classe de AttachingDevice
(subclass Screw AttachingDevice) Mid-level-ontology.kif 4632-4632 Screw est une sous-classe de AttachingDevice
(subclass Tape AttachingDevice) Mid-level-ontology.kif 4669-4669 Tape est une sous-classe de AttachingDevice
(termFormat ChineseLanguage AttachingDevice "附着装置") domainEnglishFormat.kif 8971-8971 Tape est une sous-classe de AttachingDevice
(termFormat ChineseTraditionalLanguage AttachingDevice "附著裝置") domainEnglishFormat.kif 8970-8970 Tape est une sous-classe de AttachingDevice
(termFormat EnglishLanguage AttachingDevice "attaching device") domainEnglishFormat.kif 8969-8969 Tape est une sous-classe de AttachingDevice

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 16192-16197

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 4728-4736
(=>
    (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