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 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5258-5258	例 ArcCosineFn and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5257-5257	例 ArcCosineFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5260-5260	範圍 ArcCosineFn and RealNumber

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