![]() |
![]() ![]() ![]()
|
![]() |
|
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 | Shape attribute is a subclass of structure attribute |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain cellShape 2 ShapeAttribute) | VirusProteinAndCellPart.kif 410-410 | The number 2 argument of cell shape is an instance of shape attribute |
(domain shape 2 ShapeAttribute) | Merge.kif 7657-7657 | 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 17904-17909 |
|
(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Merge.kif 7660-7665 |
|
consequent |
![]() |
![]() |
![]() |