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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeometricFigure
GeometricFigure
more pictures...

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 17804-17806
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 17803-17803 O conceito GeometricFigure e' completamente decomposto em GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17802-17802 GeometricFigure e' uma sub-classe de Atributo de Forma

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17808-17808 GeometricPoint e' uma sub-classe de GeometricFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17813-17813 OneDimensionalFigure e' uma sub-classe de GeometricFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17835-17835 ThreeDimensionalFigure e' uma sub-classe de GeometricFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17817-17817 TwoDimensionalFigure e' uma sub-classe de GeometricFigure
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 17857-17857 O argumento numero 2 de angleOfFigure e' uma instancia de GeometricFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17842-17842 O argumento numero 1 de geometricPart e' uma instancia de GeometricFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17843-17843 O argumento numero 2 de geometricPart e' uma instancia de GeometricFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17850-17850 O argumento numero 2 de pointOfFigure e' uma instancia de GeometricFigure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4980-4980 O argumento numero 2 de sideOfFigure e' uma instancia de GeometricFigure


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