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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10634-10634 Uncovering is disjoint from covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3724-3724 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 27974-27981

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3711-3722
No TPTP formula. May not be expressible in strict first order. WMD.kif 1233-1235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5935-5943
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15729-15736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10082-10084
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10086-10099
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3674-3684
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3803-3814
No TPTP formula. May not be expressible in strict first order. Cars.kif 3488-3501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5600-5608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12932-12940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4606-4614
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27946-27955


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