SymmetricShape - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2839-2840
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11930-11930
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11928-11928
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8745-8745
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11927-11927
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11926-11926
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11931-11931
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10279-10279
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11929-11929
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9722-9722
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2838-2838	Symmetric shape is an instance of shape attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56593-56593
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56592-56592
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56591-56591

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 2842-2848

If symmetric shape is an attribute of an object,
then there exist another object and a third object such that the other object is a copy of the third object and the object is equal to the union of the parts of the other object and the third object

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