No TPTP formula. May not be expressible in strict first order. |
Government.kif 2625-2625 |
行政和管理 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2678-2678 |
经济发展 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2723-2723 |
信息合作 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2668-2668 |
基础设施合作 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2704-2704 |
司法问题 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2692-2692 |
劳工问题 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2632-2632 |
观察和监测 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2700-2700 |
政治合作 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3521-3521 |
促进私营企业 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2737-2737 |
公共卫生问题 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2648-2648 |
减少犯罪 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2878-2878 |
区域安全 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2710-2710 |
社会发展 是 关注的区域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6818-6818 |
环境问题 是 关注的区域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2608-2608 |
跨国问题 是 关注的区域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8286-8286 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8285-8285 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8284-8284 |
|