TreeView Knowledge Base Browser - administrativeCenter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 387-389
No TPTP formula. May not be expressible in strict first order.	Government.kif 383-383	O argumento numero 1 de administrativeCenter e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 384-384	O argumento numero 2 de administrativeCenter e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 382-382	administrativeCenter e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Government.kif 385-385	administrativeCenter e' uma sub-relacao de geopoliticalSubdivision

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60-60
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59-59
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58-58
No TPTP formula. May not be expressible in strict first order.	Government.kif 377-377	capitalCity e' uma sub-relacao de administrativeCenter
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5550-5550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5549-5549
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5548-5548