| Red
| |
| appearance as argument number 1 |
|
|
| (documentation Red ChineseLanguage "这是红色的 Attribute。") | chinese_format.kif 3949-3949 | |
| (documentation Red EnglishLanguage "The Attribute of redness.") | Merge.kif 17512-17512 | |
| (externalImage Red "http://upload.wikimedia.org/wikipedia/commons/a/a7/Stop_sign_MUTCD.svg") | pictureList.kif 2330-2330 | |
| (externalImage Red "http://upload.wikimedia.org/wikipedia/commons/e/e3/Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg") | pictureList.kif 1950-1950 | |
| (instance Red PrimaryColor) | Merge.kif 17511-17511 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Red "红色") | domainEnglishFormat.kif 49032-49032 | |
| (termFormat ChineseTraditionalLanguage Red "紅色") | domainEnglishFormat.kif 49031-49031 | |
| (termFormat EnglishLanguage Red "red") | domainEnglishFormat.kif 49030-49030 |
| antecedent |
|
|
| (=> (and (instance ?SOIL Soil) (attribute ?SOIL Red) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (attribute ?AREA FertileTerrain)) |
Geography.kif 1848-1854 |
| consequent |
|
|
| (=> (instance ?T Shimagh) (and (attribute ?T White) (attribute ?T Red))) |
ArabicCulture.kif 393-397 |
|
|
|