Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SymmetricShape
SymmetricShape
more pictures...

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 2839-2840
(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 2838-2838

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


(termFormat ChineseLanguage SymmetricShape "对称的形状") domainEnglishFormat.kif 56593-56593
(termFormat ChineseTraditionalLanguage SymmetricShape "對稱的形狀") domainEnglishFormat.kif 56592-56592
(termFormat EnglishLanguage SymmetricShape "symmetric shape") domainEnglishFormat.kif 56591-56591

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


(=>
    (attribute ?T SymmetricShape)
    (exists (?C1 ?C2)
        (and
            (copy ?C1 ?C2)
            (equal ?T
                (MereologicalSumFn ?C1 ?C2)))))
Mid-level-ontology.kif 2842-2848


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 is open source software produced by Articulate Software and its partners