ChildrenBornPerWomanFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 444-453 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 441-441 | 每个女人出生的孩子 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 442-442 | 每个女人出生的孩子 的 2 数量 是 年 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 440-440 | 每个女人出生的孩子 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 443-443 | 每个女人出生的孩子 的 range 是 实数 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 448-448 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 447-447 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 446-446 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14484-14484 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14483-14483 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14482-14482 |
statement |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量 |