![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
SecondaryColor(secondary color)
|
| appearance as argument number 1 |
|
|
| (subclass SecondaryColor ColorAttribute) | Mid-level-ontology.kif 21275-21275 | Secondary color is a subclass of color attribute |
| (documentation SecondaryColor EnglishLanguage "A color that is the product of mixing together two or more PrimaryColors.") | Mid-level-ontology.kif 21276-21277 | Secondary color is a subclass of color attribute |
| (externalImage SecondaryColor "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Pink_tulips_closed.jpg") | pictureList.kif 2349-2349 | Secondary color is a subclass of color attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |