| 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 16013-16014 | |
| (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 16012-16012 | AttachingDevice è una sottoclasse di Dispositivo |
| appearance as argument number 2 |
|
|
| 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 4927-4942 |
|
| (=> (instance ?DEVICE AttachingDevice) (exists (?ATTACH) (and (instance ?ATTACH Attaching) (instrument ?ATTACH ?DEVICE)))) |
Merge.kif 16016-16021 |
| 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 4285-4293 |
|
| (=> (instance ?W Wrench) (hasPurpose ?W (exists (?R ?AD) (and (instance ?R Rotating) (instance ?AD AttachingDevice) (patient ?R ?AD) (instrument ?R ?W))))) |
Cars.kif 4150-4158 |
|
|
|
|