more pictures...
| SymmetricShape(symmetric shape)
more pictures... | | balance, correspondence, symmetricalness, symmetry |
| appearance as argument number 1 |
|
|
| (documentation SymmetricShape EnglishLanguage "A ShapeAttribute that applies to a SelfConnectedObject that can be divided into two copies of each other.") | Mid-level-ontology.kif 3302-3303 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ XN_Power_pole_02.jpg") | pictureList.kif 11923-11923 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Da_Vinci_Vitruve_Luc_Viatour.jpg") | pictureList.kif 11921-11921 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Farsh1.jpg") | pictureList.kif 8744-8744 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Asymmetric_%28PSF%29.png") | pictureList.kif 11920-11920 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Surgical_scissors_Orem.jpg") | pictureList.kif 11919-11919 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Commonbuckeye.JPG") | pictureList.kif 11924-11924 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Colored_pencil%28red_and_blue%29.jpg") | pictureList.kif 10277-10277 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Symmetry.jpg") | pictureList.kif 11922-11922 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/en/ b/ b0/ 400px_Drillbit.jpg") | pictureList.kif 9721-9721 | |
| (instance SymmetricShape ShapeAttribute) | Mid-level-ontology.kif 3301-3301 | Symmetric shape is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SymmetricShape "对称的形状") | domainEnglishFormat.kif 56597-56597 | |
| (termFormat ChineseTraditionalLanguage SymmetricShape "對稱的形狀") | domainEnglishFormat.kif 56596-56596 | |
| (termFormat EnglishLanguage SymmetricShape "symmetric shape") | domainEnglishFormat.kif 56595-56595 |
| antecedent |
|
|
| (=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2))))) |
Mid-level-ontology.kif 3305-3311 |
|
|
|
|