|
|
   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 17688-17689 | |
| (externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") | pictureList.kif 1935-1935 | |
| (subclass PrimaryColor ColorAttribute) | Merge.kif 17687-17687 | Cor Primaria e' uma sub-classe de Atributo de Cor |
| appearance as argument number 2 |
|
|
| (instance Black PrimaryColor) | Merge.kif 17703-17703 | Black e' uma instancia de Cor Primaria |
| (instance Blue PrimaryColor) | Merge.kif 17694-17694 | Blue e' uma instancia de Cor Primaria |
| (instance Red PrimaryColor) | Merge.kif 17691-17691 | Red e' uma instancia de Cor Primaria |
| (instance White PrimaryColor) | Merge.kif 17700-17700 | White e' uma instancia de Cor Primaria |
| (instance Yellow PrimaryColor) | Merge.kif 17697-17697 | Yellow e' uma instancia de Cor Primaria |
| (termFormat ChineseLanguage PrimaryColor "原色") | chinese_format.kif 1253-1253 | |
| (termFormat EnglishLanguage PrimaryColor "primary color") | english_format.kif 1727-1727 | |
| (termFormat FrenchLanguage PrimaryColor "couleur primaire") | french_format.kif 931-931 | |
| (termFormat Hindi PrimaryColor "praathamika varNa") | terms-hindi.txt 465-465 | |
| (termFormat ItalianLanguage PrimaryColor "ColorePirmario") | terms-it.txt 468-468 | |
| (termFormat JapaneseLanguage PrimaryColor "原色") | japanese_format.kif 2615-2615 | |
| (termFormat PortugueseLanguage PrimaryColor "Cor Primaria") | portuguese_format.kif 883-883 | |
| (termFormat cz PrimaryColor "primary color") | terms-cz.txt 504-504 | |
| (termFormat ro PrimaryColor "culoare primarã") | relations-ro.kif 952-952 | |
| (termFormat tg PrimaryColor "batayang kulay") | terms-tg.txt 469-469 |
| antecedent |
|
|
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 17710-17719 |
|
| 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 19378-19391 |
|
|
|
|
