Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ShapeChange(shape change) |  | abrade, abrase, acuminate, arc, arch, arrange, bead, beaten, bend, bending, bevel, bloat, block, blow, blow_up, blunt, bob, boss, brecciate, buckle, butterfly, calender, cave, cavern, cavern_out, chamfer, change_form, change_shape, chase, chisel, cockle, cog, coif, coiffe, coiffure, coil, comb, cone, conglobate, conglobe, constellate, contort, contortion, convolute, convolve, convulse, core_out, corrade, corrugate, crank... |
| appearance as argument number 1 |
|
|
| (subclass ShapeChange InternalChange) | Merge.kif 12942-12942 | Shape change is a subclass of internal change |
| (documentation ShapeChange EnglishLanguage "The Process of changing the shape of an Object.") | Merge.kif 12943-12944 | Shape change is a subclass of internal change |
| appearance as argument number 2 |
|
|
| (subclass Folding ShapeChange) | Mid-level-ontology.kif 3772-3772 | Folding is a subclass of shape change |
| (subclass Crushing ShapeChange) | Food.kif 941-941 | Crushing is a subclass of shape change |
| (termFormat EnglishLanguage ShapeChange "shape change") | english_format.kif 1571-1571 | Crushing is a subclass of shape change |
| antecedent |
|
|
| (=> (and (instance ?ALT ShapeChange) (patient ?ALT ?OBJ)) (exists (?PROPERTY) (and (instance ?PROPERTY ShapeAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY))))))) |
Merge.kif 12946-12959 | If X is an instance of shape change and Y is a patient of X, then there exists Z such that Z is an instance of shape attribute and Z is an attribute of Y holds during the beginning of the time of existence of X and Z is not an attribute of Y holds during the end of the time of existence of X or Z is not an attribute of Y holds during the beginning of the time of existence of X and Z is an attribute of Y holds during the end of the time of existence of X |
| consequent |
|
|
| (=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 18103-18110 | If X is an instance of object and pliable is an attribute of X, then there exists Y such that Y is an instance of shape change and X is a patient of Y |
| (=> (instance ?X Sculpting) (exists (?SC ?OBJ) (and (instance ?OBJ Object) (patient ?X ?OBJ) (instance ?SC ShapeChange) (subProcess ?SC ?X) (patient ?SC ?OBJ)))) |
Mid-level-ontology.kif 3892-3900 | If X is an instance of sculpting, then there exist Y, Z such that Z is an instance of object, Z is a patient of X, Y is an instance of shape change, Y is a subprocess of X, and Z is a patient of Y |
| (=> (instance ?L Lathe) (hasPurpose ?L (exists (?PROC ?OBJ) (and (instrument ?PROC ?L) (patient ?PROC ?OBJ) (or (instance ?PROC ShapeChange) (instance ?PROC SurfaceChange)))))) |
Economy.kif 6412-6421 | If X is an instance of lathe, then X has the purpose there exist Y, Z such that X is an instrument for Y, Z is a patient of Y, and Y is an instance of shape change or Y is an instance of surface change |
| (=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?B ?SC) (and (instance ?B Breaking) (causes ?C ?B) (subProcess ?B ?SC) (instance ?SC ShapeChange) (patient ?B ?O) (patient ?SC ?O)))) |
Food.kif 958-970 | If X is an instance of crushing, Y is a patient of X, and Y is an instance of object, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of breaking (3) X causes Z (4) Z is a subprocess of W (5) W is an instance of shape change (6) Y is a patient of Z (7) Y is a patient of W |
| (=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?SC) (and (result ?C ?SC) (instance ?SC ShapeChange) (patient ?SC ?O)))) |
Food.kif 972-981 | If X is an instance of crushing, Y is a patient of X, and Y is an instance of object, then there exists Z such that Z is a result of X, Z is an instance of shape change, and Y is a patient of Z |
| (=> (instance ?DEVICE HairIron) (hasPurpose ?DEVICE (exists (?PURPOSE ?AGENT ?HAIR) (and (instance ?PURPOSE ShapeChange) (instance ?AGENT Human) (instance ?HAIR Hair) (agent ?PURPOSE Human) (patient ?PURPOSE ?HAIR))))) |
HouseholdAppliances.kif 237-246 | If X is an instance of hair iron, then X has the purpose there exist Y, Z, W such that Y is an instance of shape change, Z is an instance of human, W is an instance of hair, human is an agent of Y, and W is a patient of Y |
| (=> (and (instance ?P ThreeDPrinting) (instance ?X CompoundSubstance) (patient ?P ?X)) (exists (?SC) (and (instance ?SC ShapeChange) (subProcess ?SC ?P) (patient ?SC ?X)))) |
QoSontology.kif 512-521 | If X is an instance of 3D printing, Y is an instance of compound substance, and Y is a patient of X, then there exists Z such that Z is an instance of shape change, Z is a subprocess of X, and Y is a patient of Z |
|