TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(successorAttribute BeaufortNumber11 BeaufortNumber12)	Weather.kif 445-445	Beaufort number 11 is an immediate successor attribute of Beaufort number 12
(termFormat EnglishLanguage BeaufortNumber12 "Beaufort number 12")	domainEnglishFormat.kif 10341-10341	Beaufort number 11 is an immediate successor attribute of Beaufort number 12
(termFormat ChineseLanguage BeaufortNumber12 "浦氏12风级")	domainEnglishFormat.kif 10342-10342	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))))))

If X is an instance of wind, Y is an instance of Beaufort number 12, X is located at Z, and W believes X the attribute Y, then there exists V such that V is greater than 73.0 and W believes V miles per hour(s) is a surface wind speed of Z