TreeView Knowledge Base Browser - USCustomsAndBorderProtection

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4767-4770
No TPTP formula. May not be expressible in strict first order.	Government.kif 4761-4761	USCustomsAndBorderProtection e' uma instancia de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4771-4771	USCustomsAndBorderProtection e' uma instancia de PoliceOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4765-4765	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 4762-4762	conventionalLongName "US Customs and Border Protection" and USCustomsAndBorderProtection
No TPTP formula. May not be expressible in strict first order.	Government.kif 4764-4764	conventionalShortName "Border Patrol" and USCustomsAndBorderProtection
No TPTP formula. May not be expressible in strict first order.	Government.kif 4763-4763	conventionalShortName "US Border Patrol" and USCustomsAndBorderProtection
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60820-60820
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60819-60819
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60818-60818