TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6115-6117
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6111-6111	Le nombre 1 argument de SeacoastFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6112-6112	Le nombre 2 argument de SeacoastFn est une instance de plan d'eau sal�
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6110-6110	SeacoastFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6113-6113	Le domaine de SeacoastFn est une instance de Seacoast

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2199-2199
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2198-2198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2197-2197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51657-51657
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51656-51656
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51655-51655