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 17526-17528
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 9262-9262
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. pictureList.kif 9265-9265
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 8504-8504
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. Merge.kif 17525-17525 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 17524-17524 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 17530-17530 Geometric point is a subclass of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17535-17535 One dimensional figure is a subclass of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17557-17557 Three dimensional figure is a subclass of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17539-17539 Two dimensional figure is a subclass of geometric figure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25809-25809
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25808-25808
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25807-25807

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17579-17579 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 17564-17564 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 17565-17565 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 17572-17572 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 4707-4707 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