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	Le nombre 1 argument de politicalPartyOfCountry est une instance de PoliticalParty
No TPTP formula. May not be expressible in strict first order.	Government.kif 2227-2227	Le nombre 2 argument de politicalPartyOfCountry est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2225-2225	politicalPartyOfCountry est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Government.kif 2228-2228	politicalPartyOfCountry est une sous-relation 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