TreeView 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	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 17706-17706	Monochromatic is an instance of color attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17727-17727	Polychromatic is an instance of color attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17687-17687	Primary color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19374-19374	Secondary color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19369-19369	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 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

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 19361-19367

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 12658-12672	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 4384-4399	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 13547-13555	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 13564-13572	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 17732-17742	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: