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 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 BeaufortNumber12 è un' istanza di BeaufortNumberAttribute

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


(successorAttribute BeaufortNumber11 BeaufortNumber12) Weather.kif 461-461 BeaufortNumber11 è un immediato attributo successore di BeaufortNumber12
(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 472-484


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