TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1749-1749
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1962-1963
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 357-357
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1960-1960	Even integer is a subclass of integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 867-867
No TPTP formula. May not be expressible in strict first order.	english_format.kif 936-936
No TPTP formula. May not be expressible in strict first order.	french_format.kif 543-543
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 73-73
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 76-76
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2228-2228
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 495-495
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 78-78
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 110-110
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 564-564
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 77-77

appearance as argument number 3

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

Merge.kif 1955-1955

antecedent

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

Merge.kif 5144-5147