TreeView Knowledge Base Browser - chanceryAddressInArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4737-4740
No TPTP formula. May not be expressible in strict first order.	Government.kif 4733-4733	O argumento numero 1 de chanceryAddressInArea e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4734-4734	O argumento numero 2 de chanceryAddressInArea e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4735-4735	O argumento numero 3 de chanceryAddressInArea e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4732-4732	chanceryAddressInArea e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 412-412
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 411-411
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 410-410
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14094-14094
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14093-14093
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14092-14092