TreeView Knowledge Base Browser - USCustomsAndBorderProtection

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4803-4806
No TPTP formula. May not be expressible in strict first order.	Government.kif 4797-4797	美国海关和边境保护局是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4807-4807	美国海关和边境保护局是警察组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4801-4801	美国海关和边境保护局是国土安全部 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4798-4798	美国海关和边境保护局是 "US Customs and Border Protection" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4800-4800	美国海关和边境保护局是 "Border Patrol" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 4799-4799	美国海关和边境保护局是 "US Border Patrol" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60818-60818
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60817-60817
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60816-60816