TreeView Knowledge Base Browser - UnitedNationsOfficeOfProjectServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4006-4006	联合国项目服务办公室是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4009-4009	行政和管理是联合国项目服务办公室的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 4005-4005	联合国项目服务办公室是联合国大会 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4008-4008	联合国项目服务办公室是 "UNOPS" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 4007-4007	联合国项目服务办公室是 "United Nations Office of Project Services" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60248-60248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60247-60247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60246-60246