|
|
  ArcMinute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 367-368 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 366-366 | 弧分 是 UnitOfAngularMeasure 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8256-8256 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8255-8255 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8254-8254 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 397-399 | 物理 的 measure 是 实数 弧分 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧秒 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 370-372 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 374-376 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 378-380 | 物理 的 measure 是 实数 圆周角度 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧分 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3595-3615 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 433-440 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 382-382 | 1.0 圆周角度 equal 60.0 弧分 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 401-401 | 1.0 弧分 equal 60.0 弧秒 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 402-402 | 实数 弧分 equal 60.0 和 那个 实数 弧秒 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 383-383 | 实数 圆周角度 equal 60.0 和 那个 实数 弧分 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4662-4669 | 南部海洋 的 geographic 中心 是 对于 在 0.0 圆周角度 东 的 meridian 的 object 地理座标 65.0 圆周角度 的 region 南 |
|
|
|