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