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 3308-3309 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ XN_Power_pole_02.jpg") | pictureList.kif 11957-11957 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Da_Vinci_Vitruve_Luc_Viatour.jpg") | pictureList.kif 11955-11955 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Farsh1.jpg") | pictureList.kif 8750-8750 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Asymmetric_%28PSF%29.png") | pictureList.kif 11954-11954 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Surgical_scissors_Orem.jpg") | pictureList.kif 11953-11953 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Commonbuckeye.JPG") | pictureList.kif 11958-11958 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Colored_pencil%28red_and_blue%29.jpg") | pictureList.kif 10300-10300 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Symmetry.jpg") | pictureList.kif 11956-11956 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/en/ b/ b0/ 400px-Drillbit.jpg") | pictureList.kif 9740-9740 | |
| (instance SymmetricShape ShapeAttribute) | Mid-level-ontology.kif 3307-3307 | Symmetric shape is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SymmetricShape "对称的形状") | domainEnglishFormat.kif 56486-56486 | |
| (termFormat ChineseTraditionalLanguage SymmetricShape "對稱的形狀") | domainEnglishFormat.kif 56485-56485 | |
| (termFormat EnglishLanguage SymmetricShape "symmetric shape") | domainEnglishFormat.kif 56484-56484 |
| antecedent |
|
|
| (=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2))))) |
Mid-level-ontology.kif 3311-3317 |
|
|
|
|