TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2480-2482
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6649-6652
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1174-1177
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6645-6645	O argumento numero 1 de DensityFn e' uma instancia de Medida de Massa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6646-6646	O argumento numero 2 de DensityFn e' uma instancia de Medida de Volume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6644-6644	DensityFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6643-6643	DensityFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6647-6647	O contra-dominio de DensityFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6642-6642	DensityFn e' uma sub-relacao de PerFn

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 657-657
No TPTP formula. May not be expressible in strict first order.	english_format.kif 660-660
No TPTP formula. May not be expressible in strict first order.	french_format.kif 395-395
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 69-69
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2125-2125
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 347-347
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 860-860
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 110-110
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 417-417
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 438-438
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 103-103
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19056-19056
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 658-658
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19055-19055
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19054-19054