| PrimaryColor
| |
| appearance as argument number 1 |
|
|
| (documentation PrimaryColor ChineseLanguage "这些颜色可以混合成为任何颜色，而且它们都不能从其他颜色 衍生而成。") | Merge.kif 18100-18101 | |
| (documentation PrimaryColor EnglishLanguage "Colors which can be blended to form any color and which cannot be derived from any other colors.") | Merge.kif 18098-18099 | |
| (externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") | pictureList.kif 1936-1936 | |
| (subclass PrimaryColor ColorAttribute) | Merge.kif 18097-18097 |
| appearance as argument number 2 |
|
|
| (instance Black PrimaryColor) | Merge.kif 18119-18119 | |
| (instance Blue PrimaryColor) | Merge.kif 18107-18107 | |
| (instance Red PrimaryColor) | Merge.kif 18103-18103 | |
| (instance White PrimaryColor) | Merge.kif 18115-18115 | |
| (instance Yellow PrimaryColor) | Merge.kif 18111-18111 | |
| (termFormat ChineseLanguage PrimaryColor "原色") | chinese_format.kif 1253-1253 | |
| (termFormat EnglishLanguage PrimaryColor "primary color") | english_format.kif 940-940 |
| antecedent |
|
|
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 18129-18138 |
| 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 17158-17171 |
|
|
|