TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3159-3160
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12332-12333
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12331-12331	Poking is a subclass of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12343-12343	Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1163-1163
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1543-1543
No TPTP formula. May not be expressible in strict first order.	french_format.kif 841-841
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 373-373
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 376-376
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2525-2525
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 793-793
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 378-378
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 412-412
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 862-862
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 377-377

antecedent

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

Merge.kif 12335-12341

consequent

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

Medicine.kif 6219-6228