|
|
  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 e' uma instancia de Sistema International de Unidades |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6810-6810 | Radian e' uma instancia de 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 | Numero Real AngularDegree(s) e' igual a Numero Real + Pi + 180.0 Radian(s) |
|
|
|