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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TextureAttribute

Sigma KEE - TextureAttribute
TextureAttribute(texture attribute)abrasiveness, adamantine, adherence, adhesion, adhesiveness, aerodynamic, bond, bristliness, bumpiness, bumpy, burl, canaliculate, cheeselike, chewable, close, close-grained, coarse-grained, coarse-textured, coarseness, cobwebby, cohesiveness, coriaceous, corneous, corrugated, cottony, crisp, crispy, cuttable, diaphanous, doughy, downlike, downy, entire, farinaceous, feel, fibrous, filmy, fine, fine-grained, fineness, firm, flabby, flaccid, flocculent, flossy, floury, flowing, fluffy, furrowed, gauze-like...

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 17839-17840
No TPTP formula. May not be expressible in strict first order. Merge.kif 17841-17841 Texture attribute is a subclass of perceptual attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17854-17854 Rough is an instance of texture attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17850-17850 Smooth is an instance of texture attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57766-57766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57765-57765
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. 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 17843-17848


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