| 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 17397-17398 | |
| (externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") | pictureList.kif 1936-1936 | |
| (subclass PrimaryColor ColorAttribute) | Merge.kif 17396-17396 | 原色 是 颜色属性 的 subclass |
| appearance as argument number 2 |
|
|
| (instance Black PrimaryColor) | Merge.kif 17412-17412 | 黑色 是 原色 的 instance |
| (instance Blue PrimaryColor) | Merge.kif 17403-17403 | 蓝色 是 原色 的 instance |
| (instance Red PrimaryColor) | Merge.kif 17400-17400 | 红色 是 原色 的 instance |
| (instance White PrimaryColor) | Merge.kif 17409-17409 | 白色 是 原色 的 instance |
| (instance Yellow PrimaryColor) | Merge.kif 17406-17406 | 黄色 是 原色 的 instance |
| (termFormat ChineseLanguage PrimaryColor "原色") | chinese_format.kif 1253-1253 | |
| (termFormat EnglishLanguage PrimaryColor "primary color") | english_format.kif 1727-1727 |
| antecedent |
|
|
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 17419-17428 |
| 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 18730-18743 |
|
|
|
|