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 5040-5041
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 5037-5037	The number 1 argument of numerator is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5036-5036	Numerator is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5035-5035	Numerator is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5038-5038	The range of numerator is an instance of integer

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 41441-41441
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 41440-41440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41439-41439