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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PerceptualAttribute
PerceptualAttribute(Atributo de Percepcao)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3935-3936
No TPTP formula. May not be expressible in strict first order. Merge.kif 17637-17638
No TPTP formula. May not be expressible in strict first order. Merge.kif 17636-17636 Atributo de Percepcao e' uma sub-classe de Atributo Relacional

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 236-236 Braille e' uma instancia de Atributo de Percepcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 17660-17660 Atributo Olfactivo e' uma sub-classe de Atributo de Percepcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 13618-13618 Atributo Sonoro e' uma sub-classe de Atributo de Percepcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 17649-17649 Atributo Gustativo e' uma sub-classe de Atributo de Percepcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 17784-17784 TextureAttribute e' uma sub-classe de Atributo de Percepcao
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
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1248-1248
No TPTP formula. May not be expressible in strict first order. english_format.kif 1717-1717
No TPTP formula. May not be expressible in strict first order. french_format.kif 926-926
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 460-460
No TPTP formula. May not be expressible in strict first order. terms-it.txt 463-463
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2610-2610
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 878-878
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 499-499
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 947-947
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 464-464

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17640-17647


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