TreeView Knowledge Base Browser - UnitedNationsSystemStaffCollege

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3976-3976	联合国系统职员学院是国际组织的 instance
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.	Government.kif 3975-3975	联合国系统职员学院是联合国大会 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3978-3978	联合国系统职员学院是 "UNSSC" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3977-3977	联合国系统职员学院是 "United Nations Systems Staff College" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60304-60304
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60303-60303
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60302-60302