| Attaching(取付け) | |
| appearance as argument number 1 |
|
|
| (disjoint Attaching Detaching) | Merge.kif 12408-12408 | 取付け と 取外し は disjoint では %n |
| (documentation Attaching ChineseLanguage "这是一个 Process，当中一个 Object 跟另外一个 Object 连接上了。注：这和 Putting 的区别在于两样接上的东西可以已经处于相同的位置。也注： Combining 和 Attaching 的区别在于前者适用于 Substance，而后者则用于 CorpuscularObject。 再注： Attaching 和 Putting 的另外一个区别在于其中一个或是同时两个接上的东西可能或不能从它们结合的 位置移动。") | chinese_format.kif 3163-3167 | 取付け と 取外し は disjoint では %n |
| (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 12411-12418 | 取付け と 取外し は disjoint では %n |
| (relatedInternalConcept Attaching Putting) | Merge.kif 12409-12409 | 取付け は 置く に internally 関連して %n |
| (subclass Attaching DualObjectProcess) | Merge.kif 12407-12407 | 取付け は デュアオブジェクト工程 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass ApplyingTourniquet Attaching) | Medicine.kif 61-61 | ApplyingTourniquet は 取付け の subclass では %n |
| (subclass Fertilisation Attaching) | Mid-level-ontology.kif 24285-24285 | Fertilisation は 取付け の subclass では %n |
| (subclass Grabbing Attaching) | Merge.kif 11564-11564 | Grabbing は 取付け の subclass では %n |
| (subclass Sewing Attaching) | Mid-level-ontology.kif 5602-5602 | Sewing は 取付け の subclass では %n |
| (subclass Soldering Attaching) | Mid-level-ontology.kif 5621-5621 | Soldering は 取付け の subclass では %n |
| (subclass Tying Attaching) | Mid-level-ontology.kif 5593-5593 | Tying は 取付け の subclass では %n |
| (termFormat ChineseLanguage Attaching "连接") | chinese_format.kif 1165-1165 | Tying は 取付け の subclass では %n |
| (termFormat EnglishLanguage Attaching "attaching") | english_format.kif 1547-1547 | Tying は 取付け の subclass では %n |
| (termFormat FrenchLanguage Attaching "attacher") | french_format.kif 843-843 | Tying は 取付け の subclass では %n |
| (termFormat Hindi Attaching "sanlagnana") | terms-hindi.txt 375-375 | Tying は 取付け の subclass では %n |
| (termFormat ItalianLanguage Attaching "Attaccare") | terms-it.txt 378-378 | Tying は 取付け の subclass では %n |
| (termFormat JapaneseLanguage Attaching "取付け") | japanese_format.kif 2527-2527 | Tying は 取付け の subclass では %n |
| (termFormat PortugueseLanguage Attaching "Colar") | portuguese_format.kif 795-795 | Tying は 取付け の subclass では %n |
| (termFormat cb Attaching "pagsumpay") | terms-cb.txt 380-380 | Tying は 取付け の subclass では %n |
| (termFormat cz Attaching "attaching") | terms-cz.txt 414-414 | Tying は 取付け の subclass では %n |
| (termFormat ro Attaching "ataºare") | relations-ro.kif 864-864 | Tying は 取付け の subclass では %n |
| (termFormat tg Attaching "ikapit") | terms-tg.txt 379-379 | Tying は 取付け の subclass では %n |
| antecedent |
|
|
| (=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle)) |
Mid-level-ontology.kif 4235-4241 | |
| (=> (and (instance ?A Attaching) (patient ?A ?O1) (patient ?A ?O2) (holdsDuring (BeginFn (WhenFn ?A)) (not (connected ?O1 ?O2))) (holdsDuring (EndFn (WhenFn ?A)) (connected ?O1 ?O2))) (and (objectAttached ?A ?O1) (objectAttached ?A ?O2))) |
Merge.kif 12443-12457 |
|
| (=> (and (instance ?ATTACH Attaching) (patient ?ATTACH ?OBJ1) (patient ?ATTACH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?ATTACH)) (not (connected ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?ATTACH)) (connected ?OBJ1 ?OBJ2)))) |
Merge.kif 12420-12427 | |
| (=> (and (instance ?VCS VentedChestSeal) (instance ?A Attaching) (objectTransferred ?A ?VCS) (destination ?A ?H)) (hasPurpose ?VCS (exists (?A ?L ?C ?H) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (orientation ?A ?H Outside))))))) |
Medicine.kif 853-875 |
|
| (=> (instance ?ATTACH Attaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?ATTACH ?OBJ)))) |
Merge.kif 12429-12434 |
| consequent |
|
|
|
|
|