| Red(red)
| | blood-red, carmine, cerise, cherry, cherry-red, crimson, flushed, red, red-faced, red-rimmed, reddened, reddish, redly, redness, ruby, ruby-red, ruddy, sanguine, scarlet |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3949-3949 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17838-17838 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2328-2328 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1948-1948 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17837-17837 | Red is an instance of primary color |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49079-49079 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49078-49078 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49077-49077 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1831-1837 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 393-397 |
|
|
|
|