DeathsPerThousandLiveBirthsFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 231-235 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 228-228 | 每千名活产婴儿死亡人数 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 229-229 | 每千名活产婴儿死亡人数 的 2 数量 是 年 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 227-227 | 每千名活产婴儿死亡人数 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 230-230 | 每千名活产婴儿死亡人数 的 range 是 实数 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 692-692 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 691-691 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 690-690 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18780-18780 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18779-18779 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18778-18778 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | People.kif 238-264 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数 和 第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数 和 那个 另外 实数 equal 那个 实数 |