No TPTP formula. May not be expressible in strict first order. |
Government.kif 2625-2625 |
例 行政和管理 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2678-2678 |
例 經濟發展 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2723-2723 |
例 信息合作 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2668-2668 |
例 基礎設施合作 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2704-2704 |
例 司法問題 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2692-2692 |
例 勞工問題 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2632-2632 |
例 觀察和監測 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2700-2700 |
例 政治合作 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3521-3521 |
例 促進私營企業 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2737-2737 |
例 公共衛生問題 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2648-2648 |
例 減少犯罪 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2878-2878 |
例 區域安全 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2710-2710 |
例 社會發展 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6818-6818 |
子類 環境問題 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2608-2608 |
子類 跨國問題 and 關注的區域 |
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 |
|