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 1389-1390
(instance RedFlagSwimmingCondition RelationalAttribute)	Weather.kif 1392-1392	Red flag swimming condition is an instance of relational attribute

appearance as argument number 2

domainEnglishFormat.kif 65397-65397

consequent

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

Weather.kif 1394-1401