TreeView Knowledge Base Browser - CivilPoliceTraining

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10623-10623
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9941-9941
No TPTP formula. May not be expressible in strict first order.	Government.kif 2652-2652	民警培训是支持执法的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3897-3897	民警培训是联合国海地民警特派团的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 4075-4075	民警培训是联合国在波黑和黑塞哥维那的使命的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14982-14982
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14981-14981
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14980-14980