TreeView Knowledge Base Browser - EducationalCooperation

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3929-3929	教育合作是聯合國教育科學文化組織的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4035-4035	教育合作是聯合國訓練研究所的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4003-4003	教育合作是聯合國區域間犯罪和司法研究所的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4015-4015	教育合作是聯合國系統職員學院的 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