No TPTP formula. May not be expressible in strict first order. | Weather.kif 808-808 | WeatherFront est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 814-814 | WarmFront est une sous-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 820-820 | ColdFront est une sous-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 826-826 | OccludedFront est une sous-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 832-832 | StationaryFront est une sous-classe de WeatherFront |