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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TwoDimensionalAngle
TwoDimensionalAngle(二維角度)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3978-3979
No TPTP formula. May not be expressible in strict first order. Merge.kif 17828-17829
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2417-2417
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2047-2047
No TPTP formula. May not be expressible in strict first order. Merge.kif 17827-17827 子類 二維角度 and 開放二維圖

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4863-4863 銳角 and 二維角度
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4847-4847 斜角 and 二維角度
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4855-4855 直角 and 二維角度
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59696-59696
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59695-59695
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59694-59694

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17856-17856 圖的角度, 1 and 二維角度
No TPTP formula. May not be expressible in strict first order. Merge.kif 17889-17889 圓周角度測量, 1 and 二維角度

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


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


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