| Attaching(attacher) | |
| appearance as argument number 1 |
|
|
| (disjoint Attaching Detaching) | Merge.kif 12239-12239 | Attacher est disjoint de detacher |
| (documentation Attaching ChineseLanguage "这是一个 Process，当中一个 Object 跟另外一个 Object 连接上了。注：这和 Putting 的区别在于两样接上的东西可以已经处于相同的位置。也注： Combining 和 Attaching 的区别在于前者适用于 Substance，而后者则用于 CorpuscularObject。 再注： Attaching 和 Putting 的另外一个区别在于其中一个或是同时两个接上的东西可能或不能从它们结合的 位置移动。") | chinese_format.kif 3163-3167 | |
| (documentation Attaching EnglishLanguage "A Process where one Object becomes attached to another Object. Note that this differs from Putting in that two things which are attached may already be in the same location. Note that Combining is different from Attaching in that the former applies to Substances, while the latter applies to CorpuscularObjects. Note too that Attaching is different from Putting in that one or both of the two things which are attached may or may not be moved from the location where they were combined.") | Merge.kif 12242-12249 | |
| (relatedInternalConcept Attaching Putting) | Merge.kif 12240-12240 | Attacher est reli� � l'int�rieur de SUMO � mettre |
| (subclass Attaching DualObjectProcess) | Merge.kif 12238-12238 | Attacher est une sous-classe de processus requ�rant deux patients |
| appearance as argument number 2 |
|
|
| (subclass Fertilisation Attaching) | Mid-level-ontology.kif 24040-24040 | Fertilisation est une sous-classe de attacher |
| (subclass Grabbing Attaching) | Merge.kif 11456-11456 | Grabbing est une sous-classe de attacher |
| (subclass Sewing Attaching) | Mid-level-ontology.kif 5575-5575 | Sewing est une sous-classe de attacher |
| (subclass Soldering Attaching) | Mid-level-ontology.kif 5594-5594 | Soldering est une sous-classe de attacher |
| (subclass Tying Attaching) | Mid-level-ontology.kif 5566-5566 | Tying est une sous-classe de attacher |
| (termFormat ChineseLanguage Attaching "连接") | chinese_format.kif 1165-1165 | |
| (termFormat EnglishLanguage Attaching "attaching") | english_format.kif 1547-1547 | |
| (termFormat FrenchLanguage Attaching "attacher") | french_format.kif 843-843 | |
| (termFormat Hindi Attaching "sanlagnana") | terms-hindi.txt 375-375 | |
| (termFormat ItalianLanguage Attaching "Attaccare") | terms-it.txt 376-376 | |
| (termFormat JapaneseLanguage Attaching "取付け") | japanese_format.kif 2527-2527 | |
| (termFormat PortugueseLanguage Attaching "Colar") | portuguese_format.kif 795-795 | |
| (termFormat cb Attaching "pagsumpay") | terms-cb.txt 380-380 | |
| (termFormat cz Attaching "attaching") | terms-cz.txt 414-414 | |
| (termFormat ro Attaching "ataºare") | relations-ro.kif 864-864 | |
| (termFormat tg Attaching "ikapit") | terms-tg.txt 379-379 |
| antecedent |
|
|
| consequent |
|
|
| (=> (and (instance ?D Dressing) (instance ?O Oqal) (instance ?H Hat) (patient ?D ?O) (patient ?D ?H)) (hasPurpose ?O (exists (?A) (and (instance ?A Attaching) (instrument ?A ?O))))) |
ArabicCulture.kif 420-431 | |
| (=> (instance ?B Bolt) (hasPurpose ?B (exists (?A ?N) (and (instance ?A Attaching) (instance ?N MechanicalNut) (instrument ?A ?B) (instrument ?A ?N))))) |
Cars.kif 4172-4180 | |
| (=> (instance ?DEVICE AttachingDevice) (exists (?ATTACH) (and (instance ?ATTACH Attaching) (instrument ?ATTACH ?DEVICE)))) |
Merge.kif 15900-15905 |
|
| (=> (instance ?GLUE Glue) (hasPurpose ?GLUE (exists (?ATTACH) (and (instance ?ATTACH Attaching) (instrument ?ATTACH ?GLUE))))) |
Mid-level-ontology.kif 8869-8875 | |
| (=> (instance ?N MechanicalNut) (hasPurpose ?N (exists (?A ?B) (and (instance ?A Attaching) (instance ?B Bolt) (instrument ?A ?B) (instrument ?A ?N))))) |
Cars.kif 4191-4199 |
|
|
|