TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2273-2274
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5214-5216
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 939-940
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5211-5211	O argumento numero 1 de SineFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5210-5210	SineFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5209-5209	SineFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	engineering.kif 138-138
No TPTP formula. May not be expressible in strict first order.	engineering.kif 137-137
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5212-5212	O contra-dominio de SineFn 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 728-728
No TPTP formula. May not be expressible in strict first order.	english_format.kif 730-730
No TPTP formula. May not be expressible in strict first order.	french_format.kif 437-437
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 264-264
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2154-2154
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 389-389
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 941-941
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 301-301
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 459-459
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 499-499
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53132-53132
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 729-729
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53131-53131
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53130-53130

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 5275-5275