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	O argumento numero 1 de IntegerSquareRootFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4922-4922	IntegerSquareRootFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4921-4921	IntegerSquareRootFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4924-4924	O contra-dominio de IntegerSquareRootFn e' uma instancia de Numero Inteiro nao-negativo

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