CivilPoliceTraining - Sigma Knowledge base Browser

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	子屬性民警培訓 and 支持執法

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