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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Covering
Covering(covering)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, capsulate, capsule, capsulise...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3037-3038
No TPTP formula. May not be expressible in strict first order. Merge.kif 10671-10673
No TPTP formula. May not be expressible in strict first order. Merge.kif 10669-10669 Covering is a subclass of putting

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10649-10649 Uncovering is disjoint from covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3114-3114 Painting is a subclass of covering
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1123-1123
No TPTP formula. May not be expressible in strict first order. english_format.kif 1468-1468

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 25992-25999

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3101-3112
No TPTP formula. May not be expressible in strict first order. WMD.kif 1266-1268
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5334-5342
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14578-14585
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9232-9234
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9236-9249
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3063-3073
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3195-3206
No TPTP formula. May not be expressible in strict first order. Cars.kif 3527-3540
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5001-5009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11949-11957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4002-4010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25964-25973


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 3.0 is open source software produced by Articulate Software and its partners