TreeView Knowledge Base Browser - IntegerSquareRootFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2243-2244
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4926-4927
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 907-908
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4923-4923	整数平方根函数的 1 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4922-4922	整数平方根函数是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4921-4921	整数平方根函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4924-4924	整数平方根函数的 range 是非负整数的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 704-704
No TPTP formula. May not be expressible in strict first order.	english_format.kif 706-706
No TPTP formula. May not be expressible in strict first order.	french_format.kif 425-425
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 151-151
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2142-2142
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 377-377
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 917-917
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 190-190
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 447-447
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 476-476
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30349-30349
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 705-705
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30348-30348
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30347-30347