Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Covering
CoveringCobrir, 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners