Black(black)![]() | ![]() | black, blackened, blackish, blackness, coal-black, ebon, ebony, ink-black, inkiness, inky, inky-black, jet, jet-black, pitchy, sooty |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3953-3953 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17865-17865 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1661-1661 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17864-17864 | Black is an instance of primary color |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11270-11270 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11269-11269 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11268-11268 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3452-3472 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1093-1095 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 529-531 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 482-487 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 463-468 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 416-418 |
![]() |
![]() |