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 17845-17846
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9090-9090
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8427-8427
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.	Merge.kif 17843-17843	Color attribute is a subclass of visual attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17867-17867	Monochromatic is an instance of color attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17888-17888	Polychromatic is an instance of color attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17848-17848	Primary color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20946-20946	Secondary color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20941-20941	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1252-1252	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1725-1725	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	french_format.kif 930-930	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 464-464	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 467-467	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2614-2614	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 882-882	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 469-469	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 503-503	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 762-762	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 951-951	Spectral color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 468-468	Spectral color is a subclass of color attribute

appearance as argument number 3

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

Mid-level-ontology.kif 20931-20931

The number 2 argument of color is an instance of color attribute

antecedent

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

Mid-level-ontology.kif 20933-20939

If an entity is an instance of color attribute and the entity is an attribute of another entity holds during a time position,
then the other entity is the color the entity holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12790-12804	If a process is an instance of coloring and an object is a patient of the process, then there exist an entity and another object such that the other object is a part of the object and the entity is an instance of color attribute and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4722-4737	If a process is an instance of putting and an entity is a patient of the process and the entity is an instance of spice and the process ends up at an object and the object is an instance of prepared food, then there exist another process and an attribute such that the other process is an instance of internal change and the object is a patient of the other process and the attribute is a result of the other process and the attribute is an attribute of the object and the attribute is an instance of flavour attribute or the attribute is an instance of color attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13679-13687	If a process is an instance of seeing and a cognitive agent is an agent of the process and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of color attribute and the cognitive agent knows the other entity is an attribute of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13696-13704	If a process is an instance of seeing and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of color attribute and the other entity is an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17893-17903	If polychromatic is an attribute of an object, then there exist another object, a third object,, , an attribute and another attribute such that the other object is a superficial part of the object and the third object is a superficial part of the object and the attribute is an attribute of the other object and the other attribute is an attribute of the third object and the attribute is an instance of color attribute and the other attribute is an instance of color attribute and equal the attribute and the other attribute

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: