ShapeAttribute(attribut de forme) |
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 17733-17734 | |
(subclass ShapeAttribute StructureAttribute) | Merge.kif 17729-17729 | Attribut de forme est une sous-classe de StructureAttribute |
appearance as argument number 2 |
appearance as argument number 3 |
(domain cellShape 2 ShapeAttribute) | VirusProteinAndCellPart.kif 405-405 | Le nombre 2 argument de cellShape est une instance de attribut de forme |
(domain shape 2 ShapeAttribute) | Mid-level-ontology.kif 25577-25577 | Le nombre 2 argument de shape est une instance de attribut de forme |
antecedent |
(=> (and (instance ?ATTRIBUTE ShapeAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 17736-17741 |
|
(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Mid-level-ontology.kif 25580-25585 |
|
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 12656-12669 |
|