ColorAttribute![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation ColorAttribute ChineseLanguage "这是关于 Object 颜色 Attribute 的 Class。") | chinese_format.kif 3945-3946 | |
(documentation ColorAttribute EnglishLanguage "The Class of Attributes relating to the color of Objects.") | Merge.kif 17504-17505 | |
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ CIExy1931.png") | pictureList.kif 9092-9092 | |
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Colouring_pencils.jpg") | pictureList.kif 8429-8429 | |
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Spectrum441pxWithnm.png") | pictureList.kif 9093-9093 | |
(subclass ColorAttribute VisualAttribute) | Merge.kif 17502-17502 |
appearance as argument number 2 |
![]() |
(instance Monochromatic ColorAttribute) | Merge.kif 17526-17526 | |
(instance Polychromatic ColorAttribute) | Merge.kif 17547-17547 | |
(subclass PrimaryColor ColorAttribute) | Merge.kif 17507-17507 | |
(subclass SecondaryColor ColorAttribute) | Mid-level-ontology.kif 19157-19157 | |
(subclass SpectralColor ColorAttribute) | Mid-level-ontology.kif 19152-19152 | |
(termFormat ChineseLanguage ColorAttribute "颜色属性") | chinese_format.kif 1252-1252 | |
(termFormat EnglishLanguage ColorAttribute "color attribute") | english_format.kif 1725-1725 |
appearance as argument number 3 |
![]() |
(domain color 2 ColorAttribute) | Mid-level-ontology.kif 19142-19142 |
antecedent |
![]() |
(=> (and (instance ?ATTR ColorAttribute) (holdsDuring ?T1 (attribute ?OBJ ?ATTR))) (holdsDuring ?T1 (color ?OBJ ?ATTR))) |
Mid-level-ontology.kif 19144-19150 |
consequent |
![]() |
(=> (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 12495-12509 | |
(=> (and (instance ?SEE Seeing) (agent ?SEE ?AGENT) (patient ?SEE ?OBJ)) (exists (?PROP) (and (instance ?PROP ColorAttribute) (knows ?AGENT (attribute ?OBJ ?PROP))))) |
Merge.kif 13384-13392 | |
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR ColorAttribute) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ ?ATTR))))) |
Merge.kif 13401-13409 | |
(=> (attribute ?OBJ Polychromatic) (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2) (and (superficialPart ?PART1 ?OBJ) (superficialPart ?PART2 ?OBJ) (attribute ?PART1 ?COLOR1) (attribute ?PART2 ?COLOR2) (instance ?COLOR1 ColorAttribute) (instance ?COLOR2 ColorAttribute) (not (equal ?COLOR1 ?COLOR2))))) |
Merge.kif 17552-17562 |
![]() |
![]() |