TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2261-2262
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5064-5065
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 925-926
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5061-5061	The number 1 argument of real number is an instance of number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5060-5060	Real number is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5062-5062	The range of real number is an instance of real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 718-718
No TPTP formula. May not be expressible in strict first order.	english_format.kif 720-720
No TPTP formula. May not be expressible in strict first order.	french_format.kif 432-432
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 243-243
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2149-2149
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 384-384
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 931-931
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 281-281
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 454-454
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 489-489
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48920-48920
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 719-719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48919-48919
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48918-48918