| 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 17741-17742 | |
| (externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ CIExy1931.png") | pictureList.kif 9091-9091 | |
| (externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Colouring_pencils.jpg") | pictureList.kif 8428-8428 | |
| (externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Spectrum441pxWithnm.png") | pictureList.kif 9092-9092 | |
| (subclass ColorAttribute VisualAttribute) | Merge.kif 17739-17739 | ColorAttribute ist eine teilkategorie von VisualAttribute |
| appearance as argument number 2 |
|
|
| (instance Monochromatic ColorAttribute) | Merge.kif 17763-17763 | Monochromatic ist ein fall von ColorAttribute %n{nicht} |
| (instance Polychromatic ColorAttribute) | Merge.kif 17784-17784 | Polychromatic ist ein fall von ColorAttribute %n{nicht} |
| (subclass PrimaryColor ColorAttribute) | Merge.kif 17744-17744 | PrimaryColor ist eine teilkategorie von ColorAttribute |
| (subclass SecondaryColor ColorAttribute) | Mid-level-ontology.kif 19402-19402 | SecondaryColor ist eine teilkategorie von ColorAttribute |
| (subclass SpectralColor ColorAttribute) | Mid-level-ontology.kif 19397-19397 | SpectralColor ist eine teilkategorie von ColorAttribute |
| (termFormat ChineseLanguage ColorAttribute "颜色属性") | chinese_format.kif 1252-1252 | |
| (termFormat EnglishLanguage ColorAttribute "color attribute") | english_format.kif 1725-1725 | |
| (termFormat FrenchLanguage ColorAttribute "attribut de couleur") | french_format.kif 930-930 | |
| (termFormat Hindi ColorAttribute "varNa visheshataa") | terms-hindi.txt 464-464 | |
| (termFormat ItalianLanguage ColorAttribute "AttributoDiColore") | terms-it.txt 467-467 | |
| (termFormat JapaneseLanguage ColorAttribute "カラー属性") | japanese_format.kif 2614-2614 | |
| (termFormat PortugueseLanguage ColorAttribute "Atributo de Cor") | portuguese_format.kif 882-882 | |
| (termFormat cb ColorAttribute "abuhong hiyas") | terms-cb.txt 469-469 | |
| (termFormat cz ColorAttribute "color attribute") | terms-cz.txt 503-503 | |
| (termFormat ro ColorAttribute "atribut de culoare") | relations-ro.kif 951-951 | |
| (termFormat tg ColorAttribute "katangian ng kulay") | terms-tg.txt 468-468 |
| appearance as argument number 3 |
|
|
| (domain color 2 ColorAttribute) | Mid-level-ontology.kif 19387-19387 | Die Zahl 2 Argument von color ist ein fall von ColorAttribute %n{nicht} |
| antecedent |
|
|
| (=> (and (instance ?ATTR ColorAttribute) (holdsDuring ?T1 (attribute ?OBJ ?ATTR))) (holdsDuring ?T1 (color ?OBJ ?ATTR))) |
Mid-level-ontology.kif 19389-19395 |
|
| 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 12682-12696 |
|
| (=> (and (instance ?P Putting) (patient ?P ?S) (instance ?S Spice) (destination ?P ?F) (instance ?F PreparedFood)) (exists (?C ?A) (and (instance ?C InternalChange) (patient ?C ?F) (result ?C ?A) (attribute ?F ?A) (or (instance ?A FlavourAttribute) (instance ?A ColorAttribute))))) |
Economy.kif 4384-4399 |
|
| (=> (and (instance ?SEE Seeing) (agent ?SEE ?AGENT) (patient ?SEE ?OBJ)) (exists (?PROP) (and (instance ?PROP ColorAttribute) (knows ?AGENT (attribute ?OBJ ?PROP))))) |
Merge.kif 13571-13579 |
|
| (=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR ColorAttribute) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ ?ATTR))))) |
Merge.kif 13588-13596 |
|
| (=> (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 17789-17799 |
|
|
|
|