Coloring - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Coloring ChineseLanguage "这属于 patient 的 ColorAttribute 受到改变的 SurfaceChange subclass。注：这个颜色的改变可以只限于物件的一部分。")	chinese_format.kif 3196-3197
(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 12707-12709
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ Overhaulin_442.jpg")	pictureList.kif 10683-10683
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/a/ a0/ TOYOTA_ist_Pikachu_Car.jpg")	pictureList.kif 10682-10682
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/b/ b0/ CIExy1931.png")	pictureList.kif 9949-9949
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/b/ b1/ Colouring_pencils.jpg")	pictureList.kif 10675-10675
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/b/ bd/ EWM_paint_2007.jpg")	pictureList.kif 10679-10679
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/c/ ca/ Graph_exact_coloring.gif")	pictureList.kif 10680-10680
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Haircoloring.jpg")	pictureList.kif 10677-10677
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ Cola.jpg")	pictureList.kif 10678-10678
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ Spectrum441pxWithnm.png")	pictureList.kif 10676-10676
(subclass Coloring SurfaceChange)	Merge.kif 12706-12706	Coloring is a subclass of surface change

appearance as argument number 2

(subclass GramStaining Coloring)	Medicine.kif 5330-5330	Gram stain is a subclass of coloring
(subclass Painting Coloring)	Mid-level-ontology.kif 3249-3249	Painting is a subclass of coloring
(termFormat ChineseLanguage Coloring "染色")	chinese_format.kif 1176-1176	Painting is a subclass of coloring
(termFormat EnglishLanguage Coloring "coloring")	english_format.kif 1569-1569	Painting is a subclass of coloring
(termFormat FrenchLanguage Coloring "colorer")	french_format.kif 854-854	Painting is a subclass of coloring
(termFormat Hindi Coloring "ranjana")	terms-hindi.txt 386-386	Painting is a subclass of coloring
(termFormat ItalianLanguage Coloring "Colorare")	terms-it.txt 389-389	Painting is a subclass of coloring
(termFormat JapaneseLanguage Coloring "coloring")	japanese_format.kif 2538-2538	Painting is a subclass of coloring
(termFormat PortugueseLanguage Coloring "Colorir")	portuguese_format.kif 806-806	Painting is a subclass of coloring
(termFormat cb Coloring "pag-abohon")	terms-cb.txt 391-391	Painting is a subclass of coloring
(termFormat cz Coloring "coloring")	terms-cz.txt 425-425	Painting is a subclass of coloring
(termFormat de Coloring "Farbe")	terms-de.txt 684-684	Painting is a subclass of coloring
(termFormat ro Coloring "colorare")	relations-ro.kif 875-875	Painting is a subclass of coloring
(termFormat tg Coloring "pagkukulay")	terms-tg.txt 390-390	Painting 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 12711-12725

If a process is an instance of coloring and an object is a patient of the process,
then there exist an entity and another object such that the other object is a part of the object and the entity is an instance of color attribute and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process

consequent

(=>
(instance ?PAINT Paint)
(capability Coloring instrument ?PAINT))

Mid-level-ontology.kif 3267-3269

If an object is an instance of paint,
then the object is capable of doing coloring as a instrument

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

KB Term:			Term intersection

English Word: