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	ArcCosineFn 的 1 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5258-5258	ArcCosineFn 是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5257-5257	ArcCosineFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5260-5260	ArcCosineFn 的 range 是实数的实例

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