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 | VioletColor e' uma instancia de SecondaryColor |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19394-19394 | VioletColor e' uma instancia 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 |