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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OneDimensionalFigure

 Sigma KEE - OneDimensionalFigure
OneDimensionalFigure(一维图)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3972-3973
No TPTP formula. May not be expressible in strict first order. Merge.kif 17792-17793
No TPTP formula. May not be expressible in strict first order. Merge.kif 17791-17791 一维图 是 几何图 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42126-42126
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42125-42125
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42124-42124

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17966-17966 线测量 的 1 数量 是 一维图 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17853-17853 平行 的 1 数量 是 一维图 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17854-17854 平行 的 2 数量 是 一维图 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17840-17840 交点 的 1 数量 是 一维图 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17841-17841 交点 的 2 数量 是 一维图 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4980-4980 图形的边 的 1 数量 是 一维图 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4778-4778 切线 的 1 数量 是 一维图 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17781-17781 几何图 详尽无遗地 partition 成 几何点, 一维图, 二维图, 和 三维图

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4880-4884


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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