| Yellow(yellow)
|
| appearance as argument number 1 |
|
| (instance Yellow PrimaryColor) | Merge.kif 17878-17878 | Yellow is an instance of primary color |
| (documentation Yellow EnglishLanguage "The Attribute of being yellow in color.") | Merge.kif 17879-17879 | Yellow is an instance of primary color |
| (externalImage Yellow "http://upload.wikimedia.org/wikipedia/commons/a/a8/ YellowKid.jpeg") | pictureList.kif 2427-2427 | Yellow is an instance of primary color |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SOIL Soil) (attribute ?SOIL Yellow) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (not (attribute ?AREA FertileTerrain))) |
Geography.kif 3290-3296 | If X is an instance of soil, yellow is an attribute of X, Y is an instance of land area, and X is a component of Y, then fertile terrain is not an attribute of Y |
| consequent |
|
|
| (=> (and (instance ?X LemonFruit) (part ?S ?X) (instance ?S PeelOrRind)) (attribute ?S Yellow)) |
Food.kif 2339-2344 | If X is an instance of lemon fruit, Y is a part of X, and Y is an instance of peel or rind, then yellow is an attribute of Y |
|
|
|