TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2276-2277
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5234-5237
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 943-944
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5231-5231	O argumento numero 1 de TangentFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5230-5230	TangentFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5229-5229	TangentFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5232-5232	O contra-dominio de TangentFn e' uma instancia de Numero Real

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 732-732
No TPTP formula. May not be expressible in strict first order.	english_format.kif 734-734
No TPTP formula. May not be expressible in strict first order.	french_format.kif 439-439
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 292-292
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2156-2156
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 391-391
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 945-945
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 328-328
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 461-461
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 501-501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56905-56905
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 733-733
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56904-56904
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56903-56903

consequent

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

Merge.kif 5239-5245

statement

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

Merge.kif 5255-5255