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 16085-16086 | |
(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 16084-16084 | AttachingDevice est une sous-classe de appareil |
appearance as argument number 2 |
(subclass Anchor AttachingDevice) | Mid-level-ontology.kif 4232-4232 | Anchor est une sous-classe de AttachingDevice |
(subclass Bolt AttachingDevice) | Cars.kif 4145-4145 | Bolt est une sous-classe de AttachingDevice |
(subclass Button AttachingDevice) | Mid-level-ontology.kif 4255-4255 | Button est une sous-classe de AttachingDevice |
(subclass Clamp AttachingDevice) | Mid-level-ontology.kif 4265-4265 | Clamp est une sous-classe de AttachingDevice |
(subclass Glue AttachingDevice) | Mid-level-ontology.kif 8925-8925 | Glue est une sous-classe de AttachingDevice |
(subclass MechanicalNut AttachingDevice) | Cars.kif 4167-4167 | MechanicalNut est une sous-classe de AttachingDevice |
(subclass Nail AttachingDevice) | Mid-level-ontology.kif 4215-4215 | Nail est une sous-classe de AttachingDevice |
(subclass Screw AttachingDevice) | Mid-level-ontology.kif 4182-4182 | Screw est une sous-classe de AttachingDevice |
(subclass Tape AttachingDevice) | Mid-level-ontology.kif 4219-4219 | Tape est une sous-classe de AttachingDevice |
(termFormat ChineseLanguage AttachingDevice "附着装置") | domainEnglishFormat.kif 8970-8970 | |
(termFormat ChineseTraditionalLanguage AttachingDevice "附著裝置") | domainEnglishFormat.kif 8969-8969 | |
(termFormat EnglishLanguage AttachingDevice "attaching device") | domainEnglishFormat.kif 8968-8968 |
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 4278-4286 | |
(=> (instance ?W Wrench) (hasPurpose ?W (exists (?R ?AD) (and (instance ?R Rotating) (instance ?AD AttachingDevice) (patient ?R ?AD) (instrument ?R ?W))))) |
Cars.kif 4135-4143 |