TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2253-2254
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5039-5040
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 917-918
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5036-5036	O argumento numero 1 de NumeratorFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5035-5035	NumeratorFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5034-5034	NumeratorFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5037-5037	O contra-dominio de NumeratorFn e' uma instancia de Numero Inteiro

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 714-714
No TPTP formula. May not be expressible in strict first order.	english_format.kif 716-716
No TPTP formula. May not be expressible in strict first order.	french_format.kif 430-430
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 201-201
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2147-2147
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 382-382
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 927-927
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 239-239
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 452-452
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 487-487
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41439-41439
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 715-715
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41438-41438
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41437-41437