|
|
  SymmetricShape
|
|
|
| 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 2832-2833 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ XN_Power_pole_02.jpg") | pictureList.kif 11930-11930 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Da_Vinci_Vitruve_Luc_Viatour.jpg") | pictureList.kif 11928-11928 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Farsh1.jpg") | pictureList.kif 8745-8745 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Asymmetric_%28PSF%29.png") | pictureList.kif 11927-11927 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Surgical_scissors_Orem.jpg") | pictureList.kif 11926-11926 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Commonbuckeye.JPG") | pictureList.kif 11931-11931 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Colored_pencil%28red_and_blue%29.jpg") | pictureList.kif 10279-10279 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Symmetry.jpg") | pictureList.kif 11929-11929 | |
| (externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/en/ b/ b0/ 400px-Drillbit.jpg") | pictureList.kif 9722-9722 | |
| (instance SymmetricShape ShapeAttribute) | Mid-level-ontology.kif 2831-2831 | Symmetric shape is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SymmetricShape "对称的形状") | domainEnglishFormat.kif 56595-56595 | |
| (termFormat ChineseTraditionalLanguage SymmetricShape "對稱的形狀") | domainEnglishFormat.kif 56594-56594 | |
| (termFormat EnglishLanguage SymmetricShape "symmetric shape") | domainEnglishFormat.kif 56593-56593 |
| antecedent |
|
|
| (=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2))))) |
Mid-level-ontology.kif 2835-2841 |
|
|
|
|
