|
|
  SouthAsianAssociationForRegionalCooperation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3798-3798 | 8 Day 是 南亚区域合作协会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3795-3795 | 南亚区域合作协会 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3801-3801 | 文化合作 是 南亚区域合作协会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3799-3799 | 经济合作 是 南亚区域合作协会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3800-3800 | 社会合作 是 南亚区域合作协会 的 organizational 目标 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3797-3797 | 南亚区域合作协会 是 "SAARC" 的简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3796-3796 | 南亚区域合作协会 是 "South Asian Association for Regional Cooperation" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54074-54074 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54073-54073 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54072-54072 |
|
|
|