No TPTP formula. May not be expressible in strict first order. |
Government.kif 4137-4137 |
生殖健康和家庭计划 是 联合国人口基金 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2740-2740 |
人口政策支持 是 生殖健康和家庭计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49550-49550 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49549-49549 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49548-49548 |
|