TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1680-1682
No TPTP formula. May not be expressible in strict first order.	Government.kif 1676-1676	Le nombre 1 argument de termLength est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1677-1677	Le nombre 2 argument de termLength est une instance de r�le social
No TPTP formula. May not be expressible in strict first order.	Government.kif 1678-1678	Le nombre 3 argument de termLength est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 1675-1675	termLength 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 2451-2451
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2450-2450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2449-2449
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57560-57560
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57559-57559
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57558-57558