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	O argumento numero 1 de seatsWonInElection e' uma instancia de Election
No TPTP formula. May not be expressible in strict first order.	Government.kif 1904-1904	O argumento numero 2 de seatsWonInElection e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1905-1905	O argumento numero 3 de seatsWonInElection e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Government.kif 1902-1902	seatsWonInElection e' uma instancia de Predicado Ternario

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