TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1548-1549
No TPTP formula. May not be expressible in strict first order.	Merge.kif 800-801
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 116-117
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 135-136
No TPTP formula. May not be expressible in strict first order.	Merge.kif 797-797	Le nombre 1 argument de PowerSetFn est une instance de ensemble ou classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 796-796	PowerSetFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 795-795	PowerSetFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 798-798	Les valeurs retourn�es par PowerSetFn sont des sous-classes de ensemble ou classe

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 348-348
No TPTP formula. May not be expressible in strict first order.	english_format.kif 351-351
No TPTP formula. May not be expressible in strict first order.	french_format.kif 198-198
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 225-225
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2014-2014
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 150-150
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 464-464
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 263-263
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 218-218
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 214-214
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 417-417
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 349-349
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47054-47054
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47053-47053
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47052-47052