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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Coloring

Sigma KEE - Coloring
Coloring
more pictures...

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


(documentation Coloring ChineseLanguage "这属于 patientColorAttribute 受到改变的 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 12632-12634
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ Overhaulin_442.jpg") pictureList.kif 10685-10685
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/a/ a0/ TOYOTA_ist_Pikachu_Car.jpg") pictureList.kif 10684-10684
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/b/ b0/ CIExy1931.png") pictureList.kif 9950-9950
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/b/ b1/ Colouring_pencils.jpg") pictureList.kif 10677-10677
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/b/ bd/ EWM_paint_2007.jpg") pictureList.kif 10681-10681
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/c/ ca/ Graph_exact_coloring.gif") pictureList.kif 10682-10682
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Haircoloring.jpg") pictureList.kif 10679-10679
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ Cola.jpg") pictureList.kif 10680-10680
(externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ Spectrum441pxWithnm.png") pictureList.kif 10678-10678
(subclass Coloring SurfaceChange) Merge.kif 12631-12631

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


(subclass GramStaining Coloring) Medicine.kif 5342-5342
(subclass Painting Coloring) Mid-level-ontology.kif 3183-3183
(termFormat ChineseLanguage Coloring "染色") chinese_format.kif 1176-1176
(termFormat EnglishLanguage Coloring "coloring") english_format.kif 1569-1569
(termFormat FrenchLanguage Coloring "colorer") french_format.kif 854-854
(termFormat Hindi Coloring "ranjana") terms-hindi.txt 386-386
(termFormat ItalianLanguage Coloring "Colorare") terms-it.txt 389-389
(termFormat JapaneseLanguage Coloring "coloring") japanese_format.kif 2538-2538
(termFormat PortugueseLanguage Coloring "Colorir") portuguese_format.kif 806-806
(termFormat cb Coloring "pag-abohon") terms-cb.txt 391-391
(termFormat cz Coloring "coloring") terms-cz.txt 425-425
(termFormat ro Coloring "colorare") relations-ro.kif 875-875
(termFormat tg Coloring "pagkukulay") terms-tg.txt 390-390

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

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


(=>
    (instance ?PAINT Paint)
    (capability Coloring instrument ?PAINT))
Mid-level-ontology.kif 3201-3203


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