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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Covering

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 11249-11251
No TPTP formula. May not be expressible in strict first order. Merge.kif 11247-11247 Covering is a subclass of putting

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11227-11227 Uncovering is disjoint from covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3133-3133 Painting is a subclass of covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11920-11920 Topical application 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 1463-1463

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


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

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3120-3131
No TPTP formula. May not be expressible in strict first order. WMD.kif 1306-1308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5374-5382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17390-17397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11637-11639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11641-11654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3082-3092
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3214-3225
No TPTP formula. May not be expressible in strict first order. Cars.kif 3513-3526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5041-5049
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14661-14669
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4022-4030
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29118-29127


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

Show without tree


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