VisualAttribute - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - VisualAttribute

VisualAttribute(visual attribute)

French_polish, absorption_band, annual_parallax, apparency, apparentness, apparition, appearance, aspect, aura, aureole, auroral, beam, bedimmed, blaze, bleary, bloodstain, blot, blotch, blur, blurred, blurriness, blurry, boldness, brilliance, brilliancy, burnish, calico, clarity, clearness, cloudiness, cloudlessness, color_spectrum, comeback, conspicuousness, crosshatched, daub, dazzle, dimness, disappearance, discernability, discoloration, discolouration, distinctness, diurnal_parallax, dullness, effulgence, egress, emergence, emersion, evanescence...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3940-3940
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17643-17644
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17642-17642	Visual attribute is a subclass of perceptual attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17646-17646	Illuminated is an instance of visual attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15135-15135	Translucent is an instance of visual attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15119-15119	Transparent is an instance of visual attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17651-17651	Unilluminated is an instance of visual attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17660-17660	Color attribute is a subclass of visual attribute
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1876-1876	GU element state is a subclass of visual attribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1251-1251
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1723-1723
No TPTP formula. May not be expressible in strict first order.	french_format.kif 929-929
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 463-463
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 466-466
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2613-2613
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 881-881
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 502-502
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 950-950
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 467-467

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