TreeView Knowledge Base Browser - UnitedNationsSystemStaffCollege

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4012-4012	例聯合國系統職員學院 and 國際組織
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.	Government.kif 4011-4011	子組織聯合國系統職員學院 and 聯合國大會

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4014-4014	聯合國系統職員學院是 "UNSSC" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 4013-4013	聯合國系統職員學院是 "United Nations Systems Staff College" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60302-60302
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60301-60301
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60300-60300