VarianceFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1465-1465 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1463-1464 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1466-1466 | Le nombre 1 argument de VarianceFn est une instance de liste |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1467-1467 | VarianceFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1469-1469 | Le domaine de VarianceFn est une instance de nombre |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1468-1468 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27851-27851 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27850-27850 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1471-1480 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1504-1509 | Nombre r�el est StandardDeviationFn liste nombre r�el est carr� de VarianceFn liste |
![]() |
![]() |