Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ColorAttribute
ColorAttribute(color attribute)
Chinese-red, Davy's_gray, Davy's_grey, Indian_red, Paris_green, Prussian_blue, Turkey_red, Tyrian_purple, Vandyke_brown, Venetian_red, ablaze, achromasia, achromatic, achromatic_color, achromatic_colour, achromaticity, achromatism, achromatous, achromic, achromous, alabaster, alizarine_red, amber-green, amethyst, apricot, aqua, aquamarine, argent, ash-gray, ash-grey, ashen, ashy, auburn, avocado, azure, band, banding, bar, bay, beige, blackish-brown, blackish-red, blae, blanched, blaze, bleach, bleached, blond, blonde, blondness...

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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11744-11758
No TPTP formula. May not be expressible in strict first order. Merge.kif 12554-12562
No TPTP formula. May not be expressible in strict first order. Merge.kif 12571-12579
No TPTP formula. May not be expressible in strict first order. Merge.kif 16538-16548


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