|
|
  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 | 例 弧度 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6810-6810 | 例 弧度 and UnitOfAngularMeasure |
| 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 | 等於 測量 RealNumber and 圓周角度 and 測量 乘法 RealNumber and 部 Pi and 180.0 and 弧度 |
|
|
|