TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5247-5247
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5245-5245	The number 1 argument of arccosine is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5244-5244	Arccosine is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5243-5243	Arccosine is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5246-5246	The range of arccosine is an instance of real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5248-5248
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-463
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 5249-5249
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 17800-17825

statement

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

Merge.kif 5251-5251