|
|
  VioletColor
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19423-19423 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19422-19422 | VioletColor est une instance de SecondaryColor |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19421-19421 | VioletColor est une instance de SpectralColor |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61678-61678 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61677-61677 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61676-61676 |
|
|
|