| EconomicCooperationOrganization(economic cooperation organization)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3146-3146 | The month January is a date established of economic cooperation organization |
| 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 | Economic cooperation organization is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3151-3151 | Communications coordination is an organizational objective of economic cooperation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3149-3149 | Cultural cooperation is an organizational objective of economic cooperation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3147-3147 | Economic cooperation is an organizational objective of economic cooperation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3148-3148 | Economic development is an organizational objective of economic cooperation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3150-3150 | Transportation coordination is an organizational objective of economic cooperation organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3145-3145 | "ECO" is an abbreviation of economic cooperation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3144-3144 | Economic cooperation organization is a conventional long name of "Economic Cooperation Organization" |
| 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 |
|
|
|