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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeometricFigure
GeometricFigure(geometric figure)
more pictures...		equilateral, figure, pencil

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3968-3969
No TPTP formula. May not be expressible in strict first order. Merge.kif 17782-17784
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9262-9262
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9261-9261
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9259-9259
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9264-9264
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9263-9263
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8503-8503
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9260-9260
No TPTP formula. May not be expressible in strict first order. Merge.kif 17781-17781 Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17780-17780 Geometric figure is a subclass of shape attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17786-17786 Geometric point is a subclass of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17791-17791 One dimensional figure is a subclass of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17813-17813 Three dimensional figure is a subclass of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17795-17795 Two dimensional figure is a subclass of geometric figure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25818-25818
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25817-25817
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25816-25816

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17835-17835 The number 2 argument of angle of figure is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17820-17820 The number 1 argument of geometric part is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17821-17821 The number 2 argument of geometric part is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17828-17828 The number 2 argument of point of figure is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4981-4981 The number 2 argument of side of figure is an instance of geometric figure


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