TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2230-2231
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4813-4814
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 894-895
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4810-4810	O argumento numero 1 de DenominatorFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4809-4809	DenominatorFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4808-4808	DenominatorFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4811-4811	O contra-dominio de DenominatorFn 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 694-694
No TPTP formula. May not be expressible in strict first order.	english_format.kif 696-696
No TPTP formula. May not be expressible in strict first order.	french_format.kif 420-420
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 68-68
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2137-2137
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 372-372
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 907-907
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 109-109
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 442-442
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 471-471
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 102-102
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19044-19044
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 695-695
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19043-19043
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19042-19042
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 153-153