| PrimaryColor(原色)
| |
| 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 17849-17850 | |
| (externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") | pictureList.kif 1934-1934 | |
| (subclass PrimaryColor ColorAttribute) | Merge.kif 17848-17848 | 原色 は カラー属性 の subclass では |
| appearance as argument number 2 |
|
|
| (instance Black PrimaryColor) | Merge.kif 17864-17864 | Black は 原色 の instance では |
| (instance Blue PrimaryColor) | Merge.kif 17855-17855 | Blue は 原色 の instance では |
| (instance Red PrimaryColor) | Merge.kif 17852-17852 | Red は 原色 の instance では |
| (instance White PrimaryColor) | Merge.kif 17861-17861 | White は 原色 の instance では |
| (instance Yellow PrimaryColor) | Merge.kif 17858-17858 | Yellow は 原色 の instance では |
| (termFormat ChineseLanguage PrimaryColor "原色") | chinese_format.kif 1253-1253 | Yellow は 原色 の instance では |
| (termFormat EnglishLanguage PrimaryColor "primary color") | english_format.kif 1727-1727 | Yellow は 原色 の instance では |
| (termFormat FrenchLanguage PrimaryColor "couleur primaire") | french_format.kif 931-931 | Yellow は 原色 の instance では |
| (termFormat Hindi PrimaryColor "praathamika varNa") | terms-hindi.txt 465-465 | Yellow は 原色 の instance では |
| (termFormat ItalianLanguage PrimaryColor "ColorePirmario") | terms-it.txt 468-468 | Yellow は 原色 の instance では |
| (termFormat JapaneseLanguage PrimaryColor "原色") | japanese_format.kif 2615-2615 | Yellow は 原色 の instance では |
| (termFormat PortugueseLanguage PrimaryColor "Cor Primaria") | portuguese_format.kif 883-883 | Yellow は 原色 の instance では |
| (termFormat cz PrimaryColor "primary color") | terms-cz.txt 504-504 | Yellow は 原色 の instance では |
| (termFormat de PrimaryColor "Primaerfarbe") | terms-de.txt 763-763 | Yellow は 原色 の instance では |
| (termFormat ro PrimaryColor "culoare primarã") | relations-ro.kif 952-952 | Yellow は 原色 の instance では |
| (termFormat tg PrimaryColor "batayang kulay") | terms-tg.txt 469-469 | Yellow は 原色 の instance では |
| antecedent |
|
|
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 17871-17880 |
| consequent |
|
|
| (=> (and (instance ?COLOR SecondaryColor) (attribute ?OBJ ?COLOR)) (exists (?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2) (and (result ?PROCESS ?OBJ) (resource ?PROCESS ?RESOURCE1) (resource ?PROCESS ?RESOURCE2) (attribute ?RESOURCE1 ?PRIMARY1) (attribute ?RESOURCE2 ?PRIMARY2) (instance ?PRIMARY1 PrimaryColor) (instance ?PRIMARY2 PrimaryColor) (not (equal ?PRIMARY1 ?PRIMARY2))))) |
Mid-level-ontology.kif 20950-20963 |
|
|
|