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	The number 1 argument of integer square root is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4922-4922	Integer square root is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4921-4921	Integer square root is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4924-4924	The range of integer square root is an instance of nonnegative integer

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