| 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 16425-16426 | |
| (externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") | pictureList.kif 1936-1936 | |
| (subclass PrimaryColor ColorAttribute) | Merge.kif 16424-16424 | subclass PrimaryColor and ColorAttribute |
| appearance as argument number 2 |
|
|
| (instance Black PrimaryColor) | Merge.kif 16440-16440 | instance Black and PrimaryColor |
| (instance Blue PrimaryColor) | Merge.kif 16431-16431 | instance Blue and PrimaryColor |
| (instance Red PrimaryColor) | Merge.kif 16428-16428 | instance Red and PrimaryColor |
| (instance White PrimaryColor) | Merge.kif 16437-16437 | instance White and PrimaryColor |
| (instance Yellow PrimaryColor) | Merge.kif 16434-16434 | instance Yellow and PrimaryColor |
| (termFormat ChineseLanguage PrimaryColor "原色") | chinese_format.kif 1253-1253 | |
| (termFormat EnglishLanguage PrimaryColor "primary color") | english_format.kif 1732-1732 |
| antecedent |
|
|
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 16447-16456 |
| 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 17212-17225 |
|
|
|
|