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 17722-17723
No TPTP formula. May not be expressible in strict first order. Merge.kif 17721-17721 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 17725-17725 Illuminated est une instance de attribut visuel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15162-15162 Translucent est une instance de attribut visuel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15146-15146 Transparent est une instance de attribut visuel
No TPTP formula. May not be expressible in strict first order. Merge.kif 17730-17730 Unilluminated est une instance de attribut visuel
No TPTP formula. May not be expressible in strict first order. Merge.kif 17739-17739 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