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 17662-17663
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 17660-17660 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 17684-17684 Monochromatic is an instance of color attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17705-17705 Polychromatic is an instance of color attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17665-17665 Primary color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19375-19375 Secondary color is a subclass of color attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19370-19370 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 19360-19360 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 19362-19368

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12636-12650
No TPTP formula. May not be expressible in strict first order. Economy.kif 4384-4399
No TPTP formula. May not be expressible in strict first order. Merge.kif 13525-13533
No TPTP formula. May not be expressible in strict first order. Merge.kif 13542-13550
No TPTP formula. May not be expressible in strict first order. Merge.kif 17710-17720


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