TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2336-2337
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5773-5775
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1010-1011
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1857-1857
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5771-5771	Multi graph is a subclass of graph

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 938-938
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1083-1083
No TPTP formula. May not be expressible in strict first order.	french_format.kif 614-614
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 145-145
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 148-148
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2299-2299
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 566-566
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 150-150
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 182-182
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 635-635
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 149-149

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 5777-5788

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 5790-5799