Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners