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	Le nombre 1 argument de routeBetween est une instance de Transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2904-2904	Le nombre 2 argument de routeBetween est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2905-2905	Le nombre 3 argument de routeBetween est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2902-2902	routeBetween 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 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