SquareRootFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2275-2275
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5222-5223
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 941-942
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5219-5219	平方根函数的 1 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5218-5218	平方根函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5220-5220	平方根函数的 range 是实数的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 730-730
No TPTP formula. May not be expressible in strict first order.	english_format.kif 732-732
No TPTP formula. May not be expressible in strict first order.	french_format.kif 438-438
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 268-268
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2155-2155
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 390-390
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 943-943
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 305-305
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 460-460
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 500-500
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54888-54888
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 731-731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54887-54887
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54886-54886

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 5225-5227

consequent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 1508-1513