TreeView Knowledge Base Browser - chanceryMailingAddressInArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4747-4751
No TPTP formula. May not be expressible in strict first order.	Government.kif 4743-4743	域地區的尚書郵寄地址, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 4744-4744	域地區的尚書郵寄地址, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Government.kif 4745-4745	域地區的尚書郵寄地址, 3 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 4742-4742	例地區的尚書郵寄地址 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 420-420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 419-419
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 418-418
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14106-14106
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14105-14105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14104-14104