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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeaufortNumberAttribute

 Sigma KEE - BeaufortNumberAttribute
BeaufortNumberAttribute

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


(documentation BeaufortNumberAttribute ChineseLanguage "BeaufortNumberAttribute (浦福氏凤级) 是表示风力的 Attribute (属性)， 它根据可观察的天气条件如在相关位置物体的动态，然后按强弱归类风速等级。") Weather.kif 340-341
(documentation BeaufortNumberAttribute EnglishLanguage "BeaufortNumberAttribute is the Attribute for indicating wind force, according to classifications based on observable weather conditions such as movement of object presence at the location, and later related to wind speed ranges.") Weather.kif 336-339
(subclass BeaufortNumberAttribute SpeedScaleAttribute) Weather.kif 335-335 BeaufortNumberAttribute は SpeedScaleAttribute の subclass では %n

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


(instance BeaufortNumber0 BeaufortNumberAttribute) Weather.kif 372-372 BeaufortNumber0 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber1 BeaufortNumberAttribute) Weather.kif 381-381 BeaufortNumber1 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber10 BeaufortNumberAttribute) Weather.kif 463-463 BeaufortNumber10 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber11 BeaufortNumberAttribute) Weather.kif 472-472 BeaufortNumber11 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber12 BeaufortNumberAttribute) Weather.kif 482-482 BeaufortNumber12 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber2 BeaufortNumberAttribute) Weather.kif 390-390 BeaufortNumber2 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber3 BeaufortNumberAttribute) Weather.kif 400-400 BeaufortNumber3 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber4 BeaufortNumberAttribute) Weather.kif 409-409 BeaufortNumber4 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber5 BeaufortNumberAttribute) Weather.kif 418-418 BeaufortNumber5 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber6 BeaufortNumberAttribute) Weather.kif 427-427 BeaufortNumber6 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber7 BeaufortNumberAttribute) Weather.kif 436-436 BeaufortNumber7 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber8 BeaufortNumberAttribute) Weather.kif 445-445 BeaufortNumber8 は BeaufortNumberAttribute の instance では %n
(instance BeaufortNumber9 BeaufortNumberAttribute) Weather.kif 454-454 BeaufortNumber9 は BeaufortNumberAttribute の instance では %n
(termFormat ChineseLanguage BeaufortNumberAttribute "浦福氏风级属性") domainEnglishFormat.kif 10303-10303
(termFormat EnglishLanguage BeaufortNumberAttribute "Beaufort number attribute") domainEnglishFormat.kif 10302-10302

antecedent
-------------------------


(=>
    (and
        (instance ?BN BeaufortNumberAttribute)
        (property ?X ?BN))
    (instance ?X Wind))		 Weather.kif 343-347
(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumberAttribute)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN))
        (speedScaleAttributeMinMax ?BN
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?SPEED)
        (and
            (greaterThanOrEqualTo ?SPEED ?MIN)
            (lessThanOrEqualTo ?SPEED ?MAX)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED ?U))))))		 Weather.kif 349-366


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

Show without tree


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