TreeView Knowledge Base Browser - chanceryTelephoneNumberInArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4758-4761
No TPTP formula. May not be expressible in strict first order.	Government.kif 4754-4754	Le nombre 1 argument de chanceryTelephoneNumberInArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4755-4755	Le nombre 2 argument de chanceryTelephoneNumberInArea est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4756-4756	Le nombre 3 argument de chanceryTelephoneNumberInArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4753-4753	chanceryTelephoneNumberInArea est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 424-424
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 423-423
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 422-422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14112-14112
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14111-14111
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14110-14110