TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2247-2248
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4979-4980
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 911-912
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4975-4975	对数函数的 1 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4976-4976	对数函数的 2 数量是正整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4974-4974	对数函数是二元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4977-4977	对数函数的 range 是实数的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 708-708
No TPTP formula. May not be expressible in strict first order.	english_format.kif 710-710
No TPTP formula. May not be expressible in strict first order.	french_format.kif 427-427
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 171-171
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2144-2144
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 379-379
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 921-921
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 209-209
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 449-449
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 478-478
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 709-709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34919-34919
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34918-34918
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34917-34917