TreeView Knowledge Base Browser - StandardDeviationFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1501-1502
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1499-1500
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1503-1503	Le nombre 1 argument de StandardDeviationFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1504-1504	StandardDeviationFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1506-1506	Le domaine de StandardDeviationFn est une instance de nombre

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1505-1505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27854-27854
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27853-27853

antecedent

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

Weather.kif 1508-1513

consequent

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

Weather.kif 1532-1547