TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2480-2482
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6649-6652
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1174-1177
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6645-6645	密度函数的 1 数量是质量测量的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6646-6646	密度函数的 2 数量是体积测量的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6644-6644	密度函数是二元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6643-6643	密度函数是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6647-6647	密度函数的 range 是函数量的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6642-6642	密度函数是每的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 657-657
No TPTP formula. May not be expressible in strict first order.	english_format.kif 660-660
No TPTP formula. May not be expressible in strict first order.	french_format.kif 395-395
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 69-69
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2125-2125
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 347-347
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 860-860
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 110-110
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 417-417
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 438-438
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 103-103
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19056-19056
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 658-658
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19055-19055
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19054-19054