No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19443-19443 |
Green est une instance de SpectralColor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19438-19438 |
OrangeColor est une instance de SpectralColor |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19421-19421 |
VioletColor est une instance de SpectralColor |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54596-54596 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54595-54595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54594-54594 |
|