TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5261-5261
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5259-5259	Le nombre 1 argument de ArcCosineFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5258-5258	ArcCosineFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5257-5257	ArcCosineFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5260-5260	Le domaine de ArcCosineFn est une instance de nombre r�el

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5262-5262
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 24-24
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 897-897
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 68-68
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 462-462
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 58-58
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5263-5263
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 65-65

consequent

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

Merge.kif 17906-17931

statement

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

Merge.kif 5265-5265