No TPTP formula. May not be expressible in strict first order. |
Government.kif 2636-2636 |
军备控制 是 跨国问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2622-2622 |
边界决定 是 跨国问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2655-2655 |
经济合作 是 跨国问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2663-2663 |
能源和环境 是 跨国问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2730-2730 |
人道主义援助 是 跨国问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2706-2706 |
国际司法 是 跨国问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2621-2621 |
国际和平与安全 是 跨国问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2697-2697 |
军事合作 是 跨国问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2624-2624 |
促进地区稳定 是 跨国问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2717-2717 |
社会合作 是 跨国问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2695-2695 |
世界劳工问题 是 跨国问题 的 subAttribute |
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 |
|