Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Yellow
|
|
|
| appearance as argument number 1 |
|
|
| (instance Yellow PrimaryColor) | Merge.kif 18032-18032 | Yellow is an instance of primary color |
| (documentation Yellow EnglishLanguage "The Attribute of being yellow in color.") | Merge.kif 18033-18033 | 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 3286-3292 | 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 2352-2357 | 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 |
|
