ColorAttribute - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3945-3946
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17684-17685
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9091-9091
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8428-8428
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9092-9092
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17682-17682	Atributo de Cor e' uma sub-classe de Atributo Visual

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17706-17706	Monochromatic e' uma instancia de Atributo de Cor
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17727-17727	Polychromatic e' uma instancia de Atributo de Cor
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19374-19374	SecondaryColor e' uma sub-classe de Atributo de Cor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19369-19369	SpectralColor e' uma sub-classe de Atributo de Cor
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1252-1252
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1725-1725
No TPTP formula. May not be expressible in strict first order.	french_format.kif 930-930
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 464-464
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 467-467
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2614-2614
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 882-882
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 469-469
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 503-503
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 951-951
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 468-468

appearance as argument number 3

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

Mid-level-ontology.kif 19359-19359

O argumento numero 2 de color e' uma instancia de Atributo de Cor

antecedent

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

Mid-level-ontology.kif 19361-19367

Entidade e' uma instancia de Atributo de Cor Entidade e' um atributo de Entidade vale durante Posicao Temporal
color Entidade and Entidade vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12658-12672	Processo e' uma instancia de Colorir Objeto e' um patient de Processo Entidade Objeto Objeto e' uma &parte de Objeto Entidade e' uma instancia de Atributo de Cor Entidade e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	Processo e' uma instancia de Colocar Entidade e' um patient de Processo Entidade e' uma instancia de Spice Processo termina em Objeto Objeto e' uma instancia de PreparedFood Processo Atributo Processo e' uma instancia de Mudanca Interna Objeto e' um patient de Processo Atributo e' o resultado de Processo Atributo e' um atributo de Objeto Atributo e' uma instancia de FlavourAttribute Atributo e' uma instancia de Atributo de Cor
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13547-13555	Processo e' uma instancia de Visao Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Entidade Entidade e' uma instancia de Atributo de Cor Agente Cognitivo sabe Entidade e' um atributo de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13564-13572	Processo e' uma instancia de Visao Entidade e' um patient de Processo Entidade Entidade e' uma instancia de Atributo de Cor Entidade e' um atributo de Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17732-17742	Polychromatic e' um atributo de Objeto Objeto Objeto, Atributo and Atributo Objeto e' uma parte superficial de Objeto Objeto e' uma parte superficial de Objeto Atributo e' um atributo de Objeto Atributo e' um atributo de Objeto Atributo e' uma instancia de Atributo de Cor Atributo e' uma instancia de Atributo de Cor Atributo e' igual a Atributo

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: