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	O argumento numero 1 de roleAppointsRole e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1647-1647	O argumento numero 2 de roleAppointsRole e' uma instancia de Role Social
No TPTP formula. May not be expressible in strict first order.	Government.kif 1648-1648	O argumento numero 3 de roleAppointsRole e' uma instancia de Role Social
No TPTP formula. May not be expressible in strict first order.	Government.kif 1645-1645	roleAppointsRole e' uma instancia de Predicado Ternario

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