RedFlagSwimmingCondition - Sigma Knowledge base Browser

appearance as argument number 1

(documentation RedFlagSwimmingCondition EnglishLanguage "A RedFlagSwimmingCondition is an &attribute of a SurfZone when its SignificantWaveHeight goes above 8 Footlength.")	Weather.kif 1377-1378
(instance RedFlagSwimmingCondition RelationalAttribute)	Weather.kif 1380-1380	Red flag swimming condition is an instance of relational attribute

appearance as argument number 2

domainEnglishFormat.kif 65445-65445

consequent

(=>
    (and
        (instance ?SZ SurfZone)
        (significantWaveHeight ?SZ
            (WhenFn ?SZ)
            (MeasureFn ?X FootLength))
        (greaterThan ?X 8.0))
    (attribute ?SZ RedFlagSwimmingCondition))

Weather.kif 1382-1389