Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
White(white)
|  | lily-white, milk-white, off-white, pale, snow-white, snowy, white, whiteness, whitish |
| appearance as argument number 1 |
|
|
| (instance White PrimaryColor) | Merge.kif 18035-18035 | White is an instance of primary color |
| (documentation White EnglishLanguage "The Attribute of being white in color.") | Merge.kif 18036-18036 | White is an instance of primary color |
| (externalImage White "http://upload.wikimedia.org/wikipedia/commons/d/de/ White_ribbon.png") | pictureList.kif 2061-2061 | White is an instance of primary color |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?OBJ Whiteboard) (color ?OBJ White)) |
Mid-level-ontology.kif 28197-28199 | If X is an instance of whiteboard, then X is the color white |
| (=> (instance ?T Tagiyyah) (attribute ?T White)) |
ArabicCulture.kif 364-366 | If X is an instance of tagiyyah, then white is an attribute of X |
| (=> (instance ?G Gutrah) (attribute ?G White)) |
ArabicCulture.kif 372-374 | If X is an instance of gutrah, then white is an attribute of X |
| (=> (instance ?T Shimagh) (and (attribute ?T White) (attribute ?T Red))) |
ArabicCulture.kif 393-397 | If X is an instance of shimagh, then white is an attribute of X and red is an attribute of X |
|