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 17755-17756 | |
(subclass ShapeAttribute StructureAttribute) | Merge.kif 17751-17751 | Shape attribute is a subclass of structure attribute |
appearance as argument number 2 |
appearance as argument number 3 |
(domain cellShape 2 ShapeAttribute) | VirusProteinAndCellPart.kif 405-405 | The number 2 argument of cell shape is an instance of shape attribute |
(domain shape 2 ShapeAttribute) | Mid-level-ontology.kif 25576-25576 | The number 2 argument of shape is an instance of shape attribute |
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 |