beliefGroupPercentInRegion |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 1521-1523 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 1525-1525 | beliefGroupPercentInRegion 的 1 数量 是 信仰团体 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 1526-1526 | beliefGroupPercentInRegion 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 1527-1527 | beliefGroupPercentInRegion 的 3 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 1524-1524 | beliefGroupPercentInRegion 是 三元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2890-2890 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2889-2889 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2888-2888 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65787-65787 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | People.kif 1528-1539 | 百分之 实数 在 信仰团体 的人相信 那个 信仰团体 若且唯若 有存在 群体, 另一个 群体,, , 物理,, , 那个 物理2,, , 那个 实数1, and 和 那个 实数2 这样 那个 物理 是 located 在 地理区域 和 那个 物理 是 那个 信仰团体 的 member 和 那个 物理 是 那个 群体 的 member 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 物理2 是 located 在 那个 地理区域 和 那个 物理2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2 |