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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TextureAttribute

 Sigma KEE - TextureAttribute
TextureAttribute(紋理屬性)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3965-3965
No TPTP formula. May not be expressible in strict first order. Merge.kif 17782-17783
No TPTP formula. May not be expressible in strict first order. Merge.kif 17784-17784 子類 紋理屬性 and PerceptualAttribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17797-17797 例 粗 and 紋理屬性
No TPTP formula. May not be expressible in strict first order. Merge.kif 17793-17793 例 平滑 and 紋理屬性
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57764-57764
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57763-57763
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57762-57762
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 467-467
No TPTP formula. May not be expressible in strict first order. terms-it.txt 470-470
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 506-506
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 471-471

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17786-17791


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