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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17814-17815
No TPTP formula. May not be expressible in strict first order. Merge.kif 17813-17813 子類 一維圖 and 幾何圖

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 17988-17988 線測量, 1 and 一維圖
No TPTP formula. May not be expressible in strict first order. Merge.kif 17875-17875 平行, 1 and 一維圖
No TPTP formula. May not be expressible in strict first order. Merge.kif 17876-17876 平行, 2 and 一維圖
No TPTP formula. May not be expressible in strict first order. Merge.kif 17862-17862 交點, 1 and 一維圖
No TPTP formula. May not be expressible in strict first order. Merge.kif 17863-17863 交點, 2 and 一維圖
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4979-4979 圖的一面, 1 and 一維圖
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4778-4778 切線, 1 and 一維圖
No TPTP formula. May not be expressible in strict first order. Merge.kif 17803-17803 劃分 幾何圖, 幾何點, 一維圖, 二維圖 and 三維圖

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


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


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