TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1670-1673
No TPTP formula. May not be expressible in strict first order.	Government.kif 1666-1666	Le nombre 1 argument de roleNominatesRole est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1667-1667	Le nombre 2 argument de roleNominatesRole est une instance de r�le social
No TPTP formula. May not be expressible in strict first order.	Government.kif 1668-1668	Le nombre 3 argument de roleNominatesRole est une instance de r�le social
No TPTP formula. May not be expressible in strict first order.	Government.kif 1665-1665	roleNominatesRole 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 2179-2179
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2178-2178
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2177-2177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50276-50276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50275-50275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50274-50274