TreeView Knowledge Base Browser - politicalPartyOfCountry

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2230-2232
No TPTP formula. May not be expressible in strict first order.	Government.kif 2226-2226	O argumento numero 1 de politicalPartyOfCountry e' uma instancia de PoliticalParty
No TPTP formula. May not be expressible in strict first order.	Government.kif 2227-2227	O argumento numero 2 de politicalPartyOfCountry e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2225-2225	politicalPartyOfCountry e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Government.kif 2228-2228	politicalPartyOfCountry e' uma sub-relacao de agentOperatesInArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1979-1979
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1978-1978
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1977-1977
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46513-46513
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46512-46512
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46511-46511