averageTemperatureForPeriod |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 985-990 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 981-981 | Le nombre 1 argument de averageTemperatureForPeriod est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 982-982 | Le nombre 2 argument de averageTemperatureForPeriod est une instance de interval temporel |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 983-983 | Le nombre 3 argument de averageTemperatureForPeriod est une instance de mesure de temperature |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 980-980 | averageTemperatureForPeriod est une instance de pr�dicat ternaire |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 240-240 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 239-239 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 238-238 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9360-9360 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9359-9359 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9358-9358 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |