SpectralColor - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19371-19373
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19370-19370	光谱颜色是颜色属性的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19416-19416	绿色是光谱颜色的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19411-19411	橙色是光谱颜色的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19394-19394	紫罗兰色是光谱颜色的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54594-54594
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54593-54593
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54592-54592