No TPTP formula. May not be expressible in strict first order. |
Government.kif 2636-2636 |
例 軍備控制 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2622-2622 |
例 邊界決定 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2655-2655 |
例 經濟合作 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2663-2663 |
例 能源和環境 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2730-2730 |
例 人道主義援助 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2706-2706 |
例 國際司法 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2621-2621 |
例 國際和平與安全 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2697-2697 |
例 軍事合作 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2624-2624 |
例 促進地區穩定 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2717-2717 |
例 社會合作 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2695-2695 |
子屬性 世界勞工問題 and 跨國問題 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58964-58964 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58963-58963 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58962-58962 |
|