| Uncovering(除覆) | |
| appearance as argument number 1 |
|
|
| (disjoint Uncovering Covering) | Merge.kif 11529-11529 | 除覆 と 覆い は disjoint では |
| (documentation Uncovering ChineseLanguage "这是当 agent 完全或部分地揭露 patient 的 Removing 过程的 Class。") | chinese_format.kif 3033-3034 | 除覆 と 覆い は disjoint では |
| (documentation Uncovering EnglishLanguage "The Class of Removing processes where the agent uncovers the patient, either completely or only partially.") | Merge.kif 11531-11532 | 除覆 と 覆い は disjoint では |
| (documentation Uncovering JapaneseLanguage "Removing の Class は、patient が完全に または部分的にしか明らかにされない処理を行う。") | japanese_format.kif 1801-1802 | 除覆 と 覆い は disjoint では |
| (subclass Uncovering Removing) | Merge.kif 11528-11528 | 除覆 は 除却 の subclass では |
| appearance as argument number 2 |
|
|
|
|
|