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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12678-12680
(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 12677-12677

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


(subclass GramStaining Coloring) Medicine.kif 5342-5342
(subclass Painting Coloring) Mid-level-ontology.kif 3176-3176
(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 12682-12696

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


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


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