ShapeAttribute(AttributoDiForma) |
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 17812-17813 | |
(subclass ShapeAttribute StructureAttribute) | Merge.kif 17808-17808 | AttributoDiForma è una sottoclasse di StructureAttribute |
appearance as argument number 2 |
appearance as argument number 3 |
(domain cellShape 2 ShapeAttribute) | VirusProteinAndCellPart.kif 405-405 | Il numero 2 argomenti di cellShape è un istanza di AttributoDiForma |
(domain shape 2 ShapeAttribute) | Merge.kif 7622-7622 | Il numero 2 argomenti di shape è un istanza di AttributoDiForma |
antecedent |
(=> (and (instance ?ATTRIBUTE ShapeAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 17815-17820 |
|
(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Merge.kif 7625-7630 |
|
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 12702-12715 |
|