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 は デバイス の subclass では %n |
appearance as argument number 2 |
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 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 |