| Covering | | Cobrir, Coprire, aavarana, afloat, airbrush, aluminise, aluminize, apply, asphalt, awash, babbitt, backed, bald, bandage, bandaged, bank, bare, bark, beaded, beady, becloud, bedaub, beeswax, befog, besmear, bestrew, bind, blacklead, blacktop, blanket, blindfold, blinker, block_out, bloodstained, board_up, bonderise, bonderize, bosom, bound, bread, brush, brush_on, bury, butter, cake, calcimine, camouflaged, candy, canopy, canvas... |
| appearance as argument number 1 |
|
|
| s__documentation(s__Covering,s__ChineseLanguage,'这是 Putting 过程的 Class，过程中 agent 以另外 一些东西完全或部分遮盖 patient。') | Merge.kif 11294-11295 | |
| s__documentation(s__Covering,s__EnglishLanguage,'The Class of Putting processes where the agent covers the patient, either completely or only partially, with something else.')
|
Merge.kif 11291-11293 | |
| s__instance(s__Putting,s__SetOrClass)
|
Merge.kif 11290-11290 |
| appearance as argument number 2 |
|
|
| s__disjoint(s__Uncovering,s__Covering)
|
Merge.kif 11268-11268 | |
| s__subclass(s__Painting,s__Covering)
|
Mid-level-ontology.kif 3722-3722 | |
| s__termFormat(s__ChineseLanguage,s__Covering,'遮盖')
|
chinese_format.kif 1123-1123 | |
| s__termFormat(s__EnglishLanguage,s__Covering,'covering')
|
english_format.kif 810-810 | |
| s__termFormat(s__FrenchLanguage,s__Covering,'couvrir')
|
french_format.kif 801-801 | |
| s__termFormat(s__Hindi,s__Covering,'aavarana')
|
terms-hindi.txt 333-333 | |
| s__termFormat(s__ItalianLanguage,s__Covering,'Coprire')
|
terms-it.txt 334-334 | |
| s__termFormat(s__PortugueseLanguage,s__Covering,'Cobrir')
|
portuguese_format.kif 753-753 | |
| s__termFormat(s__cb__m,s__Covering,'pagtabon')
|
terms-cb.txt 338-338 | |
| s__termFormat(s__cz__m,s__Covering,'covering')
|
terms-cz.txt 372-372 | |
| s__termFormat(s__tg__m,s__Covering,'tinakpan')
|
terms-tg.txt 337-337 |
| appearance as argument number 3 |
|
|
| s__biochemicalAgentAntidote(s__Lewisite,s__Dimercaprol,s__Covering)
|
WMD.kif 502-502 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27855-27862 |
| consequent |
|
|
| ( ! [V__F,V__O] : ((s__instance(V__F,s__Folding) & s__patient(V__F,V__O)) => (? [V__C,V__P1,V__P2] : (s__instance(V__C,s__Covering) & s__subProcess(V__C,V__F) & s__part(V__P1,V__O) & s__part(V__P2,V__O) & s__instrument(V__C,V__P1) & s__patient(V__C,V__P2)))) )
|
Mid-level-ontology.kif 3709-3720 | |
| ( ! [V__DISEASE,V__PROCESS] : (s__diseaseTreatment(V__DISEASE,s__TopicalAntibiotic,V__PROCESS) => s__subclass(V__PROCESS,s__Covering)) )
|
WMD.kif 1216-1218 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5929-5937 | |
| ( ! [V__B] : (s__instance(V__B,s__Burying) => (? [V__C,V__S] : (s__instance(V__C,s__Covering) & s__instrument(V__C,V__S) & s__instance(V__S,s__Soil) & s__subProcess(V__C,V__B)))) )
|
Mid-level-ontology.kif 15671-15678 | |
| ( ! [V__E] : (s__instance(V__E,s__Eyelid) => s__capability(s__Covering,s__instrument__m,V__E)) )
|
Mid-level-ontology.kif 10083-10085 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10087-10100 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3672-3682 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3801-3812 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3480-3493 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5594-5602 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12905-12913 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4605-4613 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27827-27836 |
|
|
|