TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1650-1653
No TPTP formula. May not be expressible in strict first order.	Government.kif 1646-1646	Le nombre 1 argument de roleAppointsRole est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1647-1647	Le nombre 2 argument de roleAppointsRole est une instance de r�le social
No TPTP formula. May not be expressible in strict first order.	Government.kif 1648-1648	Le nombre 3 argument de roleAppointsRole est une instance de r�le social
No TPTP formula. May not be expressible in strict first order.	Government.kif 1645-1645	roleAppointsRole 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 2171-2171
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2170-2170
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2169-2169
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50264-50264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50263-50263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50262-50262