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

Formal Language: 



KB Term:  Term intersection
English Word: 

  angleOfFigure

 Sigma KEE - angleOfFigure
angleOfFigure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3988-3989
No TPTP formula. May not be expressible in strict first order. Merge.kif 17836-17837
No TPTP formula. May not be expressible in strict first order. Merge.kif 17834-17834 域 圖的角度, 1 and 二維角度
No TPTP formula. May not be expressible in strict first order. Merge.kif 17835-17835 域 圖的角度, 2 and 幾何圖
No TPTP formula. May not be expressible in strict first order. Merge.kif 17833-17833 例 圖的角度 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17832-17832 子關係 圖的角度 and 幾何部分

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2802-2802
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2801-2801
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2800-2800
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7482-7482
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7481-7481
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7480-7480

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4927-4932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4906-4911


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