TreeView Knowledge Base Browser - UnitedStatesPostalService

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4820-4821
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8156-8156
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8157-8157
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8158-8158
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8159-8159
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8160-8160
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8161-8161
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8162-8162
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8168-8168
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8163-8163
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8165-8165
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8166-8166
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8167-8167
No TPTP formula. May not be expressible in strict first order.	Government.kif 4819-4819	United states postal service is an instance of government organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60410-60410
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60409-60409
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60408-60408