Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeaufortNumber12
BeaufortNumber12

appearance as argument number 1
-------------------------


(documentation BeaufortNumber12 ChineseLanguage "BeaufortNumber12 (浦氏12风级)的 预计 surfaceWindSpeed (地面风速) 大于73 MilesPerHour (每小时英里)即(118 km/ h).") Weather.kif 480-481
(documentation BeaufortNumber12 EnglishLanguage "The estimated surfaceWindSpeed for BeaufortNumber12 is over 73 MilesPerHour (118 km/ h).") Weather.kif 478-479
(instance BeaufortNumber12 BeaufortNumberAttribute) Weather.kif 482-482

appearance as argument number 2
-------------------------


(successorAttribute BeaufortNumber11 BeaufortNumber12) Weather.kif 473-473
(termFormat ChineseLanguage BeaufortNumber12 "浦氏12风级") domainEnglishFormat.kif 10342-10342
(termFormat EnglishLanguage BeaufortNumber12 "Beaufort number 12") domainEnglishFormat.kif 10341-10341

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 484-496


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners