|
|
  VioletColor
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19396-19396 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19395-19395 | 紫罗兰色 是 二等色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19394-19394 | 紫罗兰色 是 光谱颜色 的 instance |
| 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 |
|
|
|