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 17643-17644
No TPTP formula. May not be expressible in strict first order. Merge.kif 17642-17642 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 17646-17646 Illuminated e' uma instancia de Atributo Visual
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15135-15135 Translucent e' uma instancia de Atributo Visual
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15119-15119 Transparent e' uma instancia de Atributo Visual
No TPTP formula. May not be expressible in strict first order. Merge.kif 17651-17651 Unilluminated e' uma instancia de Atributo Visual
No TPTP formula. May not be expressible in strict first order. Merge.kif 17660-17660 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