TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2269-2270
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5173-5175
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 934-936
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5170-5170	四舍五入函数的 1 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5169-5169	四舍五入函数是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5167-5167	四舍五入函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5171-5171	四舍五入函数的 range 是实数的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 724-724
No TPTP formula. May not be expressible in strict first order.	english_format.kif 726-726
No TPTP formula. May not be expressible in strict first order.	french_format.kif 435-435
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 258-258
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2152-2152
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 387-387
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 937-937
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 295-295
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 457-457
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 497-497
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 725-725
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50522-50522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50521-50521
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50520-50520