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 16490-16491
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9096-9096
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8430-8430
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9097-9097
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16488-16488	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 16512-16512	Monochromatic is an instance of color attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16533-16533	Polychromatic is an instance of color attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16493-16493	Primary color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15914-15914	Secondary color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15909-15909	Spectral color is a subclass of color attribute
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 1730-1730

appearance as argument number 3

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

Mid-level-ontology.kif 15899-15899

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 15901-15907

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 11744-11758	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.	Merge.kif 12554-12562	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 12571-12579	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 16538-16548	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 the attribute is not equal to 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: