precipitationState |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1172-1175 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1170-1170 | Le nombre 1 argument de precipitationState est une instance de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1171-1171 | Le nombre 2 argument de precipitationState est une instance de �tat physique |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1169-1169 | precipitationState est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1168-1168 | precipitationState est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2027-2027 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2026-2026 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2025-2025 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47128-47128 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47127-47127 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47126-47126 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1177-1183 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1071-1073 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1164-1166 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1037-1039 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1121-1123 |
|