|
|
   ShapeAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ShapeAttribute ChineseLanguage "这是任何与 Object 的形状有关的 Attribute。") | chinese_format.kif 3961-3961 | |
| (documentation ShapeAttribute EnglishLanguage "Any Attribute that relates to the shape of an Object.") | Merge.kif 17901-17902 | |
| (subclass ShapeAttribute StructureAttribute) | Merge.kif 17897-17897 | 形状属性 は StructureAttribute の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain cellShape 2 ShapeAttribute) | VirusProteinAndCellPart.kif 410-410 | cellShape の数値 2 引数は 形状属性 の instance では |
| (domain shape 2 ShapeAttribute) | Merge.kif 7657-7657 | shape の数値 2 引数は 形状属性 の instance では |
| antecedent |
|
|
| (=> (and (instance ?ATTRIBUTE ShapeAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 17904-17909 |
|
| (=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Merge.kif 7660-7665 |
| consequent |
|
|
| (=> (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 12795-12808 |
|
|
|
|