more pictures...
| Coloring
more pictures... | |
| 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 12678-12680 | |
| (externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ Overhaulin_442.jpg") | pictureList.kif 10684-10684 | |
| (externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/a/ a0/ TOYOTA_ist_Pikachu_Car.jpg") | pictureList.kif 10683-10683 | |
| (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 10676-10676 | |
| (externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/b/ bd/ EWM_paint_2007.jpg") | pictureList.kif 10680-10680 | |
| (externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/c/ ca/ Graph_exact_coloring.gif") | pictureList.kif 10681-10681 | |
| (externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Haircoloring.jpg") | pictureList.kif 10678-10678 | |
| (externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ Cola.jpg") | pictureList.kif 10679-10679 | |
| (externalImage Coloring "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ Spectrum441pxWithnm.png") | pictureList.kif 10677-10677 | |
| (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 |
|
|
|