DeathsPerThousandFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 105-115 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 102-102 | 每千人死亡 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 103-103 | 每千人死亡 的 2 数量 是 年 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 101-101 | 每千人死亡 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 104-104 | 每千人死亡 的 range 是 实数 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 688-688 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 687-687 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 686-686 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18774-18774 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18773-18773 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18772-18772 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | People.kif 118-133 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 另一个 实数 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 另外 实数 equal 那个 实数 |