BeaufortNumber12 - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BeaufortNumber12 ChineseLanguage "BeaufortNumber12 (浦氏12风级)的预计 surfaceWindSpeed (地面风速) 大于73 MilesPerHour (每小时英里)即(118 km/ h).")	Weather.kif 468-469
(documentation BeaufortNumber12 EnglishLanguage "The estimated surfaceWindSpeed for BeaufortNumber12 is over 73 MilesPerHour (118 km/ h).")	Weather.kif 466-467
(instance BeaufortNumber12 BeaufortNumberAttribute)	Weather.kif 470-470	Beaufort number 12 is an instance of Beaufort number attribute

appearance as argument number 2

(successorAttribute BeaufortNumber11 BeaufortNumber12)	Weather.kif 461-461	Beaufort number 11 is an immediate successor attribute of Beaufort number 12
(termFormat ChineseLanguage BeaufortNumber12 "浦氏12风级")	domainEnglishFormat.kif 10350-10350	Beaufort number 11 is an immediate successor attribute of Beaufort number 12
(termFormat EnglishLanguage BeaufortNumber12 "Beaufort number 12")	domainEnglishFormat.kif 10349-10349	Beaufort number 11 is an immediate successor attribute of Beaufort number 12

antecedent

(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumber12)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN)))
    (exists (?SPEED)
        (and
            (greaterThan ?SPEED 73.0)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED MilesPerHour))))))

Weather.kif 472-484