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	US customs and border protection is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4771-4771	US customs and border protection is an instance of police organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4765-4765	US customs and border protection is a part of the organization department of homeland security

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4762-4762	US customs and border protection is a conventional long name of "US Customs and Border Protection"
No TPTP formula. May not be expressible in strict first order.	Government.kif 4764-4764	US customs and border protection is a conventional short name of "Border Patrol"
No TPTP formula. May not be expressible in strict first order.	Government.kif 4763-4763	US customs and border protection is a conventional short name of "US Border Patrol"
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