| 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 14894-14895 | |
| (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 1040-1040 | |
| (subclass AttachingDevice Device) | Merge.kif 14893-14893 |
| appearance as argument number 2 |
|
|
| (subclass Anchor AttachingDevice) | Mid-level-ontology.kif 4714-4714 | |
| (subclass Bolt AttachingDevice) | Cars.kif 4134-4134 | |
| (subclass Button AttachingDevice) | Mid-level-ontology.kif 4737-4737 | |
| (subclass Clamp AttachingDevice) | Mid-level-ontology.kif 4747-4747 | |
| (subclass Glue AttachingDevice) | Mid-level-ontology.kif 8556-8556 | |
| (subclass MechanicalNut AttachingDevice) | Cars.kif 4156-4156 | |
| (subclass Nail AttachingDevice) | Mid-level-ontology.kif 4697-4697 | |
| (subclass Screw AttachingDevice) | Mid-level-ontology.kif 4664-4664 | |
| (subclass Tape AttachingDevice) | Mid-level-ontology.kif 4701-4701 | |
| (termFormat ChineseLanguage AttachingDevice "附着装置") | domainEnglishFormat.kif 8987-8987 | |
| (termFormat ChineseTraditionalLanguage AttachingDevice "附著裝置") | domainEnglishFormat.kif 8986-8986 | |
| (termFormat EnglishLanguage AttachingDevice "attaching device") | domainEnglishFormat.kif 8985-8985 |
| 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 4908-4923 | |
| (=> (instance ?DEVICE AttachingDevice) (exists (?ATTACH) (and (instance ?ATTACH Attaching) (instrument ?ATTACH ?DEVICE)))) |
Merge.kif 14897-14902 |
| 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 4760-4768 | |
| (=> (instance ?W Wrench) (hasPurpose ?W (exists (?R ?AD) (and (instance ?R Rotating) (instance ?AD AttachingDevice) (patient ?R ?AD) (instrument ?R ?W))))) |
Cars.kif 4124-4132 |
|
|
|