| Detaching(取外し) | |
| appearance as argument number 1 |
|
|
| (documentation Detaching ChineseLanguage "这是一个当 agent 把一样东西从另外一样东西分开的 Process。注：Detaching 和 Separating 的区别在于后者适用于 Substance，而前者则用于 CorpuscularObject。再注：Detaching 和 Removing 的区别在于其中一个或是同时两个分离的东西可能或 不能从它们接上的位置移动。") | chinese_format.kif 3168-3171 | |
| (documentation Detaching EnglishLanguage "A Process where the agent detaches one thing from something else. Note that Detaching is different from Separating in that the latter applies to Substances, while the former applies to CorpuscularObjects. Note too that Detaching is different from Removing in that one or both of the two things which are detached may or may not be moved from the location where they were attached.") | Merge.kif 12553-12558 | |
| (subclass Detaching DualObjectProcess) | Merge.kif 12551-12551 | 取外し は デュアオブジェクト工程 の subclass では |
| appearance as argument number 2 |
|
|
| (disjoint Attaching Detaching) | Merge.kif 12498-12498 | 取付け と 取外し は disjoint では |
| (subclass Ungrasping Detaching) | Merge.kif 12596-12596 | Ungrasping は 取外し の subclass では |
| (subclass Untying Detaching) | Mid-level-ontology.kif 6540-6540 | Untying は 取外し の subclass では |
| (termFormat ChineseLanguage Detaching "脱离") | chinese_format.kif 1166-1166 | Untying は 取外し の subclass では |
| (termFormat EnglishLanguage Detaching "detaching") | english_format.kif 1549-1549 | Untying は 取外し の subclass では |
| (termFormat FrenchLanguage Detaching "detacher") | french_format.kif 844-844 | Untying は 取外し の subclass では |
| (termFormat Hindi Detaching "vilagana") | terms-hindi.txt 376-376 | Untying は 取外し の subclass では |
| (termFormat ItalianLanguage Detaching "Staccare") | terms-it.txt 379-379 | Untying は 取外し の subclass では |
| (termFormat JapaneseLanguage Detaching "取外し") | japanese_format.kif 2528-2528 | Untying は 取外し の subclass では |
| (termFormat PortugueseLanguage Detaching "Descolar") | portuguese_format.kif 796-796 | Untying は 取外し の subclass では |
| (termFormat cb Detaching "pagbugto") | terms-cb.txt 381-381 | Untying は 取外し の subclass では |
| (termFormat cz Detaching "detaching") | terms-cz.txt 415-415 | Untying は 取外し の subclass では |
| (termFormat de Detaching "Abtrennen") | terms-de.txt 674-674 | Untying は 取外し の subclass では |
| (termFormat ro Detaching "desprindere") | relations-ro.kif 865-865 | Untying は 取外し の subclass では |
| (termFormat tg Detaching "ilayo") | terms-tg.txt 380-380 | Untying は 取外し の subclass では |
| antecedent |
|
|
| (=> (and (instance ?D Detaching) (patient ?D ?O1) (patient ?D ?O2) (holdsDuring (BeginFn (WhenFn ?D)) (connected ?O1 ?O2)) (holdsDuring (EndFn (WhenFn ?A)) (not (connected ?O1 ?O2)))) (and (objectDetached ?A ?O1) (objectDetached ?A ?O2))) |
Merge.kif 12585-12594 | |
| (=> (and (instance ?DETACH Detaching) (patient ?DETACH ?OBJ1) (patient ?DETACH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?DETACH)) (connected ?OBJ1 ?OBJ2)) (holdsDuring (EndFn (WhenFn ?DETACH)) (not (connected ?OBJ1 ?OBJ2))))) |
Merge.kif 12560-12567 | |
| (=> (instance ?DETACH Detaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?DETACH ?OBJ)))) |
Merge.kif 12569-12574 |
|
|
|