TreeView Knowledge Base Browser - seatsWonInElection

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1907-1909
No TPTP formula. May not be expressible in strict first order.	Government.kif 1903-1903	Le nombre 1 argument de seatsWonInElection est une instance de Election
No TPTP formula. May not be expressible in strict first order.	Government.kif 1904-1904	Le nombre 2 argument de seatsWonInElection est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1905-1905	Le nombre 3 argument de seatsWonInElection est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Government.kif 1902-1902	seatsWonInElection 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 2215-2215
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2214-2214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2213-2213
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51759-51759
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51758-51758
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51757-51757