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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Radian

Sigma KEE - Radian
Radian(radian)rad, radian

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2518-2520
No TPTP formula. May not be expressible in strict first order. Merge.kif 6717-6721
No TPTP formula. May not be expressible in strict first order. Merge.kif 6715-6715 Radian is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6714-6714 Radian is an instance of UnitOfAngularMeasure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48417-48417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48416-48416
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48415-48415

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7271-7273 A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s)


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