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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeaufortNumber12
BeaufortNumber12(浦氏12风级)

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 浦氏12风级浦福氏风级属性instance

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


(successorAttribute BeaufortNumber11 BeaufortNumber12) Weather.kif 473-473 浦氏11风级浦氏12风级 的直接后续属性
(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