No TPTP formula. May not be expressible in strict first order. |
Government.kif 2724-2724 |
教育合作 是 信息合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2727-2727 |
科学合作 是 信息合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2726-2726 |
社会经济研究 是 信息合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2728-2728 |
空间研究与技术 是 信息合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2725-2725 |
技术合作 是 信息合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30031-30031 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30030-30030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30029-30029 |
|