TreeView Knowledge Base Browser - EducationalCooperation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2688-2688	子屬性教育合作 and 信息合作
No TPTP formula. May not be expressible in strict first order.	Government.kif 2684-2684	子屬性教育合作 and 社會合作

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3893-3893	教育合作是聯合國教育科學文化組織的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3999-3999	教育合作是聯合國訓練研究所的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3967-3967	教育合作是聯合國區域間犯罪和司法研究所的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3979-3979	教育合作是聯合國系統職員學院的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21258-21258
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21257-21257
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21256-21256