PrimaryColor - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3947-3948
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17688-17689
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1935-1935
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17687-17687	Cor Primaria e' uma sub-classe de Atributo de Cor

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17703-17703	Black e' uma instancia de Cor Primaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17694-17694	Blue e' uma instancia de Cor Primaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17691-17691	Red e' uma instancia de Cor Primaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17700-17700	White e' uma instancia de Cor Primaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17697-17697	Yellow e' uma instancia de Cor Primaria
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1253-1253
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1727-1727
No TPTP formula. May not be expressible in strict first order.	french_format.kif 931-931
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 465-465
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 468-468
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2615-2615
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 883-883
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 504-504
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 952-952
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 469-469

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 17710-17719

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 19378-19391