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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VisualAttribute

 Sigma KEE - VisualAttribute
VisualAttribute(Atributo Visual)

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 17665-17666
No TPTP formula. May not be expressible in strict first order. Merge.kif 17664-17664 Atributo Visual e' uma sub-classe de Atributo de Percepcao

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17668-17668 Illuminated e' uma instancia de Atributo Visual
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15134-15134 Translucent e' uma instancia de Atributo Visual
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15118-15118 Transparent e' uma instancia de Atributo Visual
No TPTP formula. May not be expressible in strict first order. Merge.kif 17673-17673 Unilluminated e' uma instancia de Atributo Visual
No TPTP formula. May not be expressible in strict first order. Merge.kif 17682-17682 Atributo de Cor e' uma sub-classe de Atributo Visual
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1876-1876 GUElementState e' uma sub-classe de Atributo Visual
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