![]() |
![]() ![]()
|
![]() |
|
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 11386-11388 | |
(documentation Covering JapaneseLanguage "Putting の Class は、agent が patient を 完全にまたは部分的にカバーする処理を行う。") | japanese_format.kif 1805-1806 | |
(subclass Covering Putting) | Merge.kif 11384-11384 | Covering is a subclass of putting |
appearance as argument number 2 |
![]() |
(disjoint Uncovering Covering) | Merge.kif 11364-11364 | Uncovering is disjoint from covering |
(subclass Painting Covering) | Mid-level-ontology.kif 3154-3154 | Painting is a subclass of covering |
(subclass TopicalApplication Covering) | Mid-level-ontology.kif 12415-12415 | Topical application is a subclass of covering |
(termFormat ChineseLanguage Covering "遮盖") | chinese_format.kif 1123-1123 | |
(termFormat EnglishLanguage Covering "covering") | english_format.kif 1463-1463 | |
(termFormat FrenchLanguage Covering "couvrir") | french_format.kif 801-801 | |
(termFormat Hindi Covering "aavarana") | terms-hindi.txt 333-333 | |
(termFormat ItalianLanguage Covering "Coprire") | terms-it.txt 336-336 | |
(termFormat JapaneseLanguage Covering "覆い") | japanese_format.kif 2485-2485 | |
(termFormat PortugueseLanguage Covering "Cobrir") | portuguese_format.kif 753-753 | |
(termFormat cb Covering "pagtabon") | terms-cb.txt 338-338 | |
(termFormat cz Covering "covering") | terms-cz.txt 372-372 | |
(termFormat ro Covering "a acoperi") | relations-ro.kif 822-822 | |
(termFormat tg Covering "tinakpan") | terms-tg.txt 337-337 |
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 29675-29682 |
|
consequent |
![]() |
![]() |
![]() |