Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Coloring

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


(subclass Coloring SurfaceChange) Merge.kif 12921-12921 Coloring is a subclass of surface change
(documentation Coloring EnglishLanguage "The subclass of SurfaceChange where a ColorAttribute of the patient is altered. Note that the change in color may apply to just part of the object.") Merge.kif 12922-12924 Coloring is a subclass of surface change
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/b/ b0/ CIExy1931.png") pictureList.kif 9949-9949 Coloring is a subclass of surface change
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/b/ b1/ Colouring_pencils.jpg") pictureList.kif 10675-10675 Coloring is a subclass of surface change
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ Spectrum441pxWithnm.png") pictureList.kif 10676-10676 Coloring is a subclass of surface change
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Haircoloring.jpg") pictureList.kif 10677-10677 Coloring is a subclass of surface change
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ Cola.jpg") pictureList.kif 10678-10678 Coloring is a subclass of surface change
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/b/ bd/ EWM_paint_2007.jpg") pictureList.kif 10679-10679 Coloring is a subclass of surface change
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/c/ ca/ Graph_exact_coloring.gif") pictureList.kif 10680-10680 Coloring is a subclass of surface change
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/a/ a0/ TOYOTA_ist_Pikachu_Car.jpg") pictureList.kif 10682-10682 Coloring is a subclass of surface change
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ Overhaulin_442.jpg") pictureList.kif 10683-10683 Coloring is a subclass of surface change

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


(subclass Painting Coloring) Mid-level-ontology.kif 3790-3790 Painting is a subclass of coloring
(subclass GramStaining Coloring) Medicine.kif 5364-5364 Gram stain is a subclass of coloring
(termFormat EnglishLanguage Coloring "coloring") english_format.kif 1573-1573 Gram stain is a subclass of coloring

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


(=>
    (and
        (instance ?COLORING Coloring)
        (patient ?COLORING ?OBJ))
    (exists (?PROPERTY ?PART)
        (and
            (part ?PART ?OBJ)
            (instance ?PROPERTY ColorAttribute)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?COLORING))
                        (attribute ?PART ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?COLORING))
                        (not
                            (attribute ?PART ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?COLORING))
                        (not
                            (attribute ?PART ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?COLORING))
                        (attribute ?PART ?PROPERTY)))))))		 Merge.kif 12926-12940 If X is an instance of coloring and Y is a patient of X, then there exist Z and W such that W is a part of Y and Z is an instance of color attribute and Z is an attribute of W holds during the beginning of the time of existence of X and Z is not an attribute of W holds during the end of the time of existence of X or Z is not an attribute of W holds during the beginning of the time of existence of X and Z is an attribute of W holds during the end of the time of existence of X

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


(=>
    (instance ?PAINT Paint)
    (capability Coloring instrument ?PAINT))		 Mid-level-ontology.kif 3808-3810 If X is an instance of paint, then X is capable of doing coloring as a instrument


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners