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	USCustomsAndBorderProtection e' uma instancia de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4807-4807	USCustomsAndBorderProtection e' uma instancia de PoliceOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4801-4801	USCustomsAndBorderProtection e' uma parte da organizacao DepartmentOfHomelandSecurity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4798-4798	conventionalLongName "US Customs and Border Protection" and USCustomsAndBorderProtection
No TPTP formula. May not be expressible in strict first order.	Government.kif 4800-4800	conventionalShortName "Border Patrol" and USCustomsAndBorderProtection
No TPTP formula. May not be expressible in strict first order.	Government.kif 4799-4799	conventionalShortName "US Border Patrol" and USCustomsAndBorderProtection
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