EconomicCooperationOrganization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3146-3146	一月 month 是经济合作组织的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5977-5977
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6449-6449
No TPTP formula. May not be expressible in strict first order.	Government.kif 3143-3143	经济合作组织是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3151-3151	沟通协调是经济合作组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3149-3149	文化合作是经济合作组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3147-3147	经济合作是经济合作组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3148-3148	经济发展是经济合作组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3150-3150	运输协调是经济合作组织的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3145-3145	经济合作组织是 "ECO" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3144-3144	经济合作组织是 "Economic Cooperation Organization" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21144-21144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21143-21143
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21142-21142