TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2906-2908
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2903-2903	O argumento numero 1 de routeBetween e' uma instancia de Transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2904-2904	O argumento numero 2 de routeBetween e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2905-2905	O argumento numero 3 de routeBetween e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2902-2902	routeBetween e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2183-2183
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2182-2182
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2181-2181
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50534-50534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50533-50533
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50532-50532