Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
PrimaryColor(primary color)
|  | primary_color, primary_color_for_light, primary_color_for_pigments, primary_colour, primary_colour_for_light, primary_colour_for_pigments |
| appearance as argument number 1 |
|
|
| (subclass PrimaryColor ColorAttribute) | Merge.kif 18022-18022 | Primary color is a subclass of color attribute |
| (documentation PrimaryColor EnglishLanguage "Colors which can be blended to form any color and which cannot be derived from any other colors.") | Merge.kif 18023-18024 | Primary color is a subclass of color attribute |
| (externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") | pictureList.kif 1934-1934 | Primary color is a subclass of color attribute |
| appearance as argument number 2 |
|
|
| (instance Red PrimaryColor) | Merge.kif 18026-18026 | Red is an instance of primary color |
| (instance Blue PrimaryColor) | Merge.kif 18029-18029 | Blue is an instance of primary color |
| (instance Yellow PrimaryColor) | Merge.kif 18032-18032 | Yellow is an instance of primary color |
| (instance White PrimaryColor) | Merge.kif 18035-18035 | White is an instance of primary color |
| (instance Black PrimaryColor) | Merge.kif 18038-18038 | Black is an instance of primary color |
| (termFormat EnglishLanguage PrimaryColor "primary color") | english_format.kif 1731-1731 | Black is an instance of 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 18045-18054 | If monochromatic is an attribute of X, Y is a superficial part of X, Z is an attribute of Y, and Z is an instance of primary color, then For all Object W: if W is a superficial part of X, then Z is an attribute of W |
| 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 21279-21292 | If X is an instance of secondary color and X is an attribute of Y, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Y is a result of Z (3) W is a resource for Z (4) V is a resource for Z (5) U is an attribute of W (6) T is an attribute of V (7) U is an instance of primary color (8) T is an instance of primary color (9) equal U (10) T |
|