TreeView Knowledge Base Browser - Rough

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Rough

Rough(rough)

abrasive, alligatored, barky, broken, bullate, bumpy, chapped, coarse, costate, cracked, harsh, ribbed, rough, roughened, rugged, scratchy, uneven, unfinished, unironed, unsmooth, wrinkled

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3967-3967
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17856-17857
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17854-17854	Rough is an instance of texture attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17855-17855	Smooth is the opposite of rough
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50518-50518
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50517-50517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50516-50516

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 25293-25302

If a process is an instance of roughening and an object is a patient of the process,
then there exists the processART such that the processART is a superficial part of the object and rough is an attribute of the processART holds during the end of the time of existence of the process

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