Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Roughening(roughening) |  | roughen |
| appearance as argument number 1 |
|
|
| (subclass Roughening SurfaceChange) | Mid-level-ontology.kif 27551-27551 | Roughening is a subclass of surface change |
| (documentation Roughening EnglishLanguage "Roughening is a type of SurfaceChange to make something Rough.") | Mid-level-ontology.kif 27552-27553 | Roughening is a subclass of surface change |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Roughening "roughening") | Mid-level-ontology.kif 27554-27554 |
| antecedent |
|
|
| (=> (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 |
|