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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Covering
Covering(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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11214-11215
No TPTP formula. May not be expressible in strict first order. Merge.kif 11211-11213
No TPTP formula. May not be expressible in strict first order. Merge.kif 11210-11210 Covering is a subclass of putting

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11188-11188 Uncovering is disjoint from covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3718-3718 Painting is a subclass of covering
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1123-1123 "遮盖" is the printable form of covering in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 810-810 "covering" is the printable form of covering in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 801-801 "couvrir" is the printable form of covering in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 333-333 "aavarana" is the printable form of covering in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 334-334 "Coprire" is the printable form of covering in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 753-753 "Cobrir" is the printable form of covering in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 338-338 "pagtabon" is the printable form of covering in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 372-372 "covering" is the printable form of covering in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 337-337 "tinakpan" is the printable form of covering in tg

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 502-502 Lewisite biochemical agent antidote dimercaprol for covering

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27494-27501

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3705-3716
No TPTP formula. May not be expressible in strict first order. WMD.kif 1216-1218
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5925-5933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15370-15377
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10071-10073
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10075-10088
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3668-3678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3797-3808
No TPTP formula. May not be expressible in strict first order. Cars.kif 3521-3534
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5590-5598
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12645-12653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4601-4609
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27466-27475


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