|
|
   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 | 子類 附著裝置 and Device |
| appearance as argument number 2 |
|
|
| (subclass Anchor AttachingDevice) | Mid-level-ontology.kif 4232-4232 | 子類 錨 and 附著裝置 |
| (subclass Bolt AttachingDevice) | Cars.kif 4145-4145 | 子類 Bolt and 附著裝置 |
| (subclass Button AttachingDevice) | Mid-level-ontology.kif 4255-4255 | 子類 按鍵 and 附著裝置 |
| (subclass Clamp AttachingDevice) | Mid-level-ontology.kif 4265-4265 | 子類 鉗 and 附著裝置 |
| (subclass Glue AttachingDevice) | Mid-level-ontology.kif 8925-8925 | 子類 膠 and 附著裝置 |
| (subclass MechanicalNut AttachingDevice) | Cars.kif 4167-4167 | 子類 MechanicalNut and 附著裝置 |
| (subclass Nail AttachingDevice) | Mid-level-ontology.kif 4215-4215 | 子類 釘 and 附著裝置 |
| (subclass Screw AttachingDevice) | Mid-level-ontology.kif 4182-4182 | 子類 螺絲 and 附著裝置 |
| (subclass Tape AttachingDevice) | Mid-level-ontology.kif 4219-4219 | 子類 膠帶 and 附著裝置 |
| (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 4912-4927 |
|
| (=> (instance ?DEVICE AttachingDevice) (exists (?ATTACH) (and (instance ?ATTACH Attaching) (instrument ?ATTACH ?DEVICE)))) |
Merge.kif 16088-16093 |
| 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 |
|
|
|
