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	The number 1 argument of density is an instance of mass measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6646-6646	The number 2 argument of density is an instance of volume measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6644-6644	Density is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6643-6643	Density is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6647-6647	The range of density is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6642-6642	Density is a subrelation of per

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