TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1644-1646
No TPTP formula. May not be expressible in strict first order.	Government.kif 1640-1640	O argumento numero 1 de termLength e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1641-1641	O argumento numero 2 de termLength e' uma instancia de Role Social
No TPTP formula. May not be expressible in strict first order.	Government.kif 1642-1642	O argumento numero 3 de termLength e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 1639-1639	termLength e' uma instancia de Predicado Ternario

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 57562-57562
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57561-57561
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57560-57560