MeasureFn |
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 397-399 | 物理 的 measure 是 实数 弧分 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧秒 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13326-13331 | 物理 的 measure 是 实数 OunceMass 若且唯若 那个 物理 的 measure 是 那个 实数 和 16.0 磅质量 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2548-2551 | 溶液 的 measure 是 实数 酸碱度 若且唯若 那个 实数 是 那个 溶液 的氢 potential |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1129-1137 | 地缘政治区域 是 实数 测量单位 和 有点 时距 在 周期 行业属性 的 sector GDP 价值 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 那个 实数 那个 测量单位 的 sector GDP 价值 那个 行业属性 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7596-7611 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17948-17959 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2080-2090 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2092-2106 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1165-1176 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 172-187 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 155-170 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1538-1544 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1522-1530 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1370-1377 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1597-1603 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1419-1425 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1316-1323 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 659-669 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 234-249 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 783-788 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 809-825 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |