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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Coloring
Coloring(coloring)
more pictures...
aurify, azure, batik, black, blacken, blackening, blackwash, bleach, bleach_out, bleached, blueing, bluing, blush, bodypaint, brown, change_of_color, color, colored, coloring, colour, coloured, colouring, complexion, darkened, darkening, decolor, decolorise, decolorize, decolour, decolourise, decolourize, deep-dye, dip, discolor, discoloration, discolorise, discolorize, discolour, discolouration, discolourise, double_dye, dye, dyed, dyeing, ebonise, ebonize, emblazon, embrown, empurple, etiolation...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3196-3197
No TPTP formula. May not be expressible in strict first order. Merge.kif 12632-12634
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10685-10685
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10684-10684
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9950-9950
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10677-10677
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10681-10681
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10682-10682
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10679-10679
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10680-10680
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10678-10678
No TPTP formula. May not be expressible in strict first order. Merge.kif 12631-12631 Coloring is a subclass of surface change

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5342-5342 Gram stain is a subclass of coloring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3183-3183 Painting is a subclass of coloring
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1176-1176
No TPTP formula. May not be expressible in strict first order. english_format.kif 1569-1569
No TPTP formula. May not be expressible in strict first order. french_format.kif 854-854
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 386-386
No TPTP formula. May not be expressible in strict first order. terms-it.txt 389-389
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2538-2538
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 806-806
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 391-391
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 425-425
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 875-875
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 390-390

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12636-12650

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


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


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