TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2228-2229
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4804-4806
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 892-893
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4801-4801	O argumento numero 1 de CosineFn e' uma instancia de Medida de Angulo Planar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4800-4800	CosineFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4799-4799	CosineFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	engineering.kif 141-141
No TPTP formula. May not be expressible in strict first order.	engineering.kif 140-140
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4802-4802	O contra-dominio de CosineFn 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 692-692
No TPTP formula. May not be expressible in strict first order.	english_format.kif 694-694
No TPTP formula. May not be expressible in strict first order.	french_format.kif 419-419
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 61-61
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2136-2136
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 371-371
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 905-905
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 102-102
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 441-441
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 469-469
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 95-95
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17442-17442
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 693-693
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17441-17441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17440-17440
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 139-139

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