No TPTP formula. May not be expressible in strict first order. |
Government.kif 2724-2724 |
子屬性 教育合作 and 信息合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2727-2727 |
子屬性 科學合作 and 信息合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2726-2726 |
子屬性 社會經濟研究 and 信息合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2728-2728 |
子屬性 空間研究與技術 and 信息合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2725-2725 |
子屬性 技術合作 and 信息合作 |
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 |
|