Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SymmetricShape
SymmetricShape(symmetric shape)
more pictures...		balance, correspondence, symmetricalness, symmetry

appearance as argument number 1
-------------------------


(instance SymmetricShape ShapeAttribute) Mid-level-ontology.kif 3465-3465 Symmetric shape is an instance of shape attribute
(documentation SymmetricShape EnglishLanguage "A ShapeAttribute that applies to a SelfConnectedObject that can be divided into two copies of each other.") Mid-level-ontology.kif 3466-3467 Symmetric shape is an instance of shape attribute
(externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Farsh1.jpg") pictureList.kif 8744-8744 Symmetric shape is an instance of shape attribute
(externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/en/ b/ b0/ 400px_Drillbit.jpg") pictureList.kif 9721-9721 Symmetric shape is an instance of shape attribute
(externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Colored_pencil%28red_and_blue%29.jpg") pictureList.kif 10277-10277 Symmetric shape is an instance of shape attribute
(externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Surgical_scissors_Orem.jpg") pictureList.kif 11919-11919 Symmetric shape is an instance of shape attribute
(externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Asymmetric_%28PSF%29.png") pictureList.kif 11920-11920 Symmetric shape is an instance of shape attribute
(externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Da_Vinci_Vitruve_Luc_Viatour.jpg") pictureList.kif 11921-11921 Symmetric shape is an instance of shape attribute
(externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Symmetry.jpg") pictureList.kif 11922-11922 Symmetric shape is an instance of shape attribute
(externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ XN_Power_pole_02.jpg") pictureList.kif 11923-11923 Symmetric shape is an instance of shape attribute
(externalImage SymmetricShape "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Commonbuckeye.JPG") pictureList.kif 11924-11924 Symmetric shape is an instance of shape attribute

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SymmetricShape "symmetric shape") domainEnglishFormat.kif 56588-56588
(termFormat ChineseTraditionalLanguage SymmetricShape "對稱的形狀") domainEnglishFormat.kif 56589-56589
(termFormat ChineseLanguage SymmetricShape "对称的形状") domainEnglishFormat.kif 56590-56590

antecedent
-------------------------


(=>
    (attribute ?T SymmetricShape)
    (exists (?C1 ?C2)
        (and
            (copy ?C1 ?C2)
            (equal ?T
                (MereologicalSumFn ?C1 ?C2)))))		 Mid-level-ontology.kif 3469-3475 If symmetric shape is an attribute of X, then there exist Y, Z such that Y is a copy of Z, equal X, the union of the parts of Y, and Z


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners