ShapeAttribute(Atributo de Forma) |
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 17755-17756 | |
(subclass ShapeAttribute StructureAttribute) | Merge.kif 17751-17751 | Atributo de Forma e' uma sub-classe de StructureAttribute |
appearance as argument number 2 |
appearance as argument number 3 |
(domain cellShape 2 ShapeAttribute) | VirusProteinAndCellPart.kif 405-405 | O argumento numero 2 de cellShape e' uma instancia de Atributo de Forma |
(domain shape 2 ShapeAttribute) | Mid-level-ontology.kif 25576-25576 | O argumento numero 2 de shape e' uma instancia de Atributo de Forma |
antecedent |
(=> (and (instance ?ATTRIBUTE ShapeAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 17758-17763 |
|
(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Mid-level-ontology.kif 25579-25584 |
|
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 12678-12691 |
|