|
|
  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 | VioletColor est une instance de SecondaryColor |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19393-19393 | VioletColor est une instance de SpectralColor |
| 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 |
|
|
|