Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (instance Rough TextureAttribute) | Merge.kif 18132-18132 | Rough is an instance of texture attribute |
| (documentation Rough EnglishLanguage "An Object with this Attribute has a rough surface.") | Merge.kif 18134-18135 | Rough is an instance of texture attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Smooth Rough) | Merge.kif 18133-18133 | Smooth is the opposite of rough |
| (termFormat EnglishLanguage Rough "rough") | domainEnglishFormat.kif 50511-50511 | Smooth is the opposite of rough |
| (termFormat ChineseTraditionalLanguage Rough "粗") | domainEnglishFormat.kif 50512-50512 | Smooth is the opposite of rough |
| (termFormat ChineseLanguage Rough "粗") | domainEnglishFormat.kif 50513-50513 | Smooth is the opposite of rough |
| consequent |
|
|
| (=> (and (instance ?P Roughening) (patient ?P ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?PART Rough))))) |
Mid-level-ontology.kif 27556-27565 | If X is an instance of roughening and Y is a patient of X, then there exists Z such that Z is a superficial part of Y and rough is an attribute of Z holds during the end of the time of existence of X |
|