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	行政中心的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 384-384	行政中心的 2 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 382-382	行政中心是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 385-385	行政中心是地缘政治分区的 subrelation

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	首都是行政中心的 subrelation
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