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	The number 1 argument of power set is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 796-796	Power set is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 795-795	Power set is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 798-798	The values returned by power set are subclasses of set or class

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