|
|
  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 6813-6817 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1218-1220 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6811-6811 | Radian is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6810-6810 | Radian is an instance of unit of angular measure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48434-48434 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48433-48433 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48432-48432 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7367-7369 | A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s) |
|
|
|