VioletColor(紫羅蘭色) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19395-19395 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19394-19394 | 例 紫羅蘭色 and 二等色 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19393-19393 | 例 紫羅蘭色 and 光譜顏色 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61676-61676 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61675-61675 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61674-61674 |