No TPTP formula. May not be expressible in strict first order. |
Government.kif 3746-3746 |
公共卫生问题 是 非洲统一组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4351-4351 |
公共卫生问题 是 世界保健组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2738-2738 |
儿童保健服务 是 公共卫生问题 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2741-2741 |
改善人类住区条件 是 公共卫生问题 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2739-2739 |
生殖健康和家庭计划 是 公共卫生问题 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47978-47978 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47977-47977 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47976-47976 |
|