![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Covering ChineseLanguage "这是 Putting 过程的 Class,过程中 agent 以另外 一些东西完全或部分遮盖 patient。") | chinese_format.kif 3037-3038 | |
(documentation Covering EnglishLanguage "The Class of Putting processes where the agent covers the patient, either completely or only partially, with something else.") | Merge.kif 11336-11338 | |
(subclass Covering Putting) | Merge.kif 11334-11334 | Covering is a subclass of putting |
appearance as argument number 2 |
![]() |
(disjoint Uncovering Covering) | Merge.kif 11314-11314 | Uncovering is disjoint from covering |
(subclass Painting Covering) | Mid-level-ontology.kif 3147-3147 | Painting is a subclass of covering |
(subclass TopicalApplication Covering) | Mid-level-ontology.kif 12291-12291 | Topical application is a subclass of covering |
(termFormat ChineseLanguage Covering "遮盖") | chinese_format.kif 1123-1123 | |
(termFormat EnglishLanguage Covering "covering") | english_format.kif 1463-1463 |
appearance as argument number 3 |
![]() |
(biochemicalAgentAntidote Lewisite Dimercaprol Covering) | WMD.kif 507-507 | Lewisite biochemical agent antidote dimercaprol for covering |
antecedent |
![]() |
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P))) |
Mid-level-ontology.kif 29674-29681 |
|
consequent |
![]() |
![]() |
![]() |