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 |
![]() |
![]() |
![]() |