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 | 弧度 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6810-6810 | 弧度 是 UnitOfAngularMeasure 的 instance |
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 | 实数 圆周角度 equal 那个 实数 和 圆周率 和 180.0 弧度 |