PrimaryColor(primary color) | primary_color, primary_color_for_light, primary_color_for_pigments, primary_colour, primary_colour_for_light, primary_colour_for_pigments |
appearance as argument number 1 |
(documentation PrimaryColor ChineseLanguage "这些颜色可以混合成为任何颜色,而且它们都不能从其他颜色 衍生而成。") | chinese_format.kif 3947-3948 | |
(documentation PrimaryColor EnglishLanguage "Colors which can be blended to form any color and which cannot be derived from any other colors.") | Merge.kif 17745-17746 | |
(externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") | pictureList.kif 1935-1935 | |
(subclass PrimaryColor ColorAttribute) | Merge.kif 17744-17744 | Primary color is a subclass of color attribute |
appearance as argument number 2 |
(instance Black PrimaryColor) | Merge.kif 17760-17760 | Black is an instance of primary color |
(instance Blue PrimaryColor) | Merge.kif 17751-17751 | Blue is an instance of primary color |
(instance Red PrimaryColor) | Merge.kif 17748-17748 | Red is an instance of primary color |
(instance White PrimaryColor) | Merge.kif 17757-17757 | White is an instance of primary color |
(instance Yellow PrimaryColor) | Merge.kif 17754-17754 | Yellow is an instance of primary color |
(termFormat ChineseLanguage PrimaryColor "原色") | chinese_format.kif 1253-1253 | |
(termFormat EnglishLanguage PrimaryColor "primary color") | english_format.kif 1727-1727 | |
(termFormat FrenchLanguage PrimaryColor "couleur primaire") | french_format.kif 931-931 | |
(termFormat Hindi PrimaryColor "praathamika varNa") | terms-hindi.txt 465-465 | |
(termFormat ItalianLanguage PrimaryColor "ColorePirmario") | terms-it.txt 468-468 | |
(termFormat JapaneseLanguage PrimaryColor "原色") | japanese_format.kif 2615-2615 | |
(termFormat PortugueseLanguage PrimaryColor "Cor Primaria") | portuguese_format.kif 883-883 | |
(termFormat cz PrimaryColor "primary color") | terms-cz.txt 504-504 | |
(termFormat ro PrimaryColor "culoare primarã") | relations-ro.kif 952-952 | |
(termFormat tg PrimaryColor "batayang kulay") | terms-tg.txt 469-469 |
antecedent |
(=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 17767-17776 |
|
consequent |