No TPTP formula. May not be expressible in strict first order. |
Government.kif 3704-3704 |
经济合作与发展组织 是 "OECD" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3703-3703 |
经济合作与发展组织 是 "Organization for Economic Cooperation and Development" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3692-3692 |
核能机构 是 经济合作与发展组织 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42504-42504 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42503-42503 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42502-42502 |
|