TreeView Knowledge Base Browser - Polychromatic

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Polychromatic

Polychromatic(polychromatic)

banded, bichrome, bicolor, bicolored, bicolour, bicoloured, blotched, blotchy, brinded, brindle, brindled, calico, checked, checkered, chequered, dappled, dichromatic, dotted, flecked, motley, mottled, multi-color, multi-colored, multi-colour, multi-coloured, multicolor, multicolored, multicolour, multicoloured, painted, particolored, particoloured, patterned, piebald, pied, polychromatic, polychrome, polychromic, specked, speckled, splotched, stippled, tabby, trichromatic, trichrome, tricolor, varicolored, varicoloured, variegated

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17728-17728	Polychromatic is the opposite of monochromatic
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3956-3957
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17729-17730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17727-17727	Polychromatic is an instance of color attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46579-46579
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46578-46578
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46577-46577

antecedent

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

consequent

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

Merge.kif 17721-17725

If an object is an instance of object,
then monochromatic is an attribute of the object or polychromatic is an attribute of the object

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