snowfallIntensity |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3021-3022 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3018-3020 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3026-3026 | O argumento numero 1 de snowfallIntensity e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3027-3027 | O argumento numero 2 de snowfallIntensity e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3028-3028 | O argumento numero 3 de snowfallIntensity e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3029-3029 | snowfallIntensity e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4550-4550 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4549-4549 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4548-4548 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3025-3025 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3024-3024 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2936-2951 |
|
![]() |
![]() |