|
|
  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 6814-6818 | |
| 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 6812-6812 | Radian est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6811-6811 | Radian est une instance de UnitOfAngularMeasure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48436-48436 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48435-48435 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48434-48434 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7368-7370 | Nombre r�el AngularDegree(s) est nombre r�el + pi + 180.0 Radian(s) |
|
|
|