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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VisualAttribute

 Sigma KEE - VisualAttribute
VisualAttribute(attribut visuel)

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 Attribut visuel est une sous-classe de attribute de perception

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17646-17646 Illuminated est une instance de attribut visuel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15135-15135 Translucent est une instance de attribut visuel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15119-15119 Transparent est une instance de attribut visuel
No TPTP formula. May not be expressible in strict first order. Merge.kif 17651-17651 Unilluminated est une instance de attribut visuel
No TPTP formula. May not be expressible in strict first order. Merge.kif 17660-17660 Attribut de couleur est une sous-classe de attribut visuel
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1876-1876 GUElementState est une sous-classe de attribut visuel
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 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