laborForceTotalInPeriod |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1359-1362 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1355-1355 | 期间劳动力总数 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1356-1356 | 期间劳动力总数 的 2 数量 是 非负实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1357-1357 | 期间劳动力总数 的 3 数量 是 时距 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1354-1354 | 期间劳动力总数 是 三元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1423-1423 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1422-1422 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1421-1421 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33031-33031 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33030-33030 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33029-33029 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1373-1378 | 地缘政治区域 是 对于 有点 时距 在周期 非负实数 的 labor 总力量 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 非负实数 是 那个 地缘政治区域 的 labor 总力量 在 那个 时间位置 holdsDuring |