| 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 16322-16323 | |
| (externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") | pictureList.kif 1936-1936 | externalImage PrimaryColor and "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Stop_sign_MUTCD.svg" |
| (subclass PrimaryColor ColorAttribute) | Merge.kif 16321-16321 | subclass PrimaryColor and ColorAttribute |
| appearance as argument number 2 |
|
|
| (instance Black PrimaryColor) | Merge.kif 16337-16337 | instance Black and PrimaryColor |
| (instance Blue PrimaryColor) | Merge.kif 16328-16328 | instance Blue and PrimaryColor |
| (instance Red PrimaryColor) | Merge.kif 16325-16325 | instance Red and PrimaryColor |
| (instance White PrimaryColor) | Merge.kif 16334-16334 | instance White and PrimaryColor |
| (instance Yellow PrimaryColor) | Merge.kif 16331-16331 | instance Yellow and PrimaryColor |
| (termFormat ChineseLanguage PrimaryColor "原色") | chinese_format.kif 1253-1253 | termFormat ChineseLanguage, PrimaryColor and "原色" |
| (termFormat EnglishLanguage PrimaryColor "primary color") | english_format.kif 1732-1732 | termFormat EnglishLanguage, PrimaryColor and "primary color" |
| antecedent |
|
|
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 16344-16353 |
|
| 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 17159-17172 |
|
|
|
|