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 |
![]() |
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 |
![]() |
![]() |