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 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 几何图 详尽无遗地 partition几何点, 一维图, 二维图, 和 三维图
No TPTP formula. May not be expressible in strict first order. Merge.kif 17780-17780 几何图形状属性subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17786-17786 几何点几何图subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 17791-17791 一维图几何图subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 17813-17813 三维图几何图subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 17795-17795 二维图几何图subclass
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 图的角度 的 2 数量 是 几何图instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17820-17820 几何部分 的 1 数量 是 几何图instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17821-17821 几何部分 的 2 数量 是 几何图instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17828-17828 图形的顶点 的 2 数量 是 几何图instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4981-4981 图形的边 的 2 数量 是 几何图instance


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