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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeaufortNumberAttribute
BeaufortNumberAttribute

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


(documentation BeaufortNumberAttribute ChineseLanguage "BeaufortNumberAttribute (浦福氏凤级) 是表示风力的 Attribute (属性)， 它根据可观察的天气条件如在相关位置物体的动态，然后按强弱归类风速等级。") Weather.kif 328-329
(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 324-327
(subclass BeaufortNumberAttribute SpeedScaleAttribute) Weather.kif 323-323 BeaufortNumberAttribute è una sottoclasse di SpeedScaleAttribute

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


(instance BeaufortNumber0 BeaufortNumberAttribute) Weather.kif 360-360 BeaufortNumber0 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber1 BeaufortNumberAttribute) Weather.kif 369-369 BeaufortNumber1 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber10 BeaufortNumberAttribute) Weather.kif 451-451 BeaufortNumber10 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber11 BeaufortNumberAttribute) Weather.kif 460-460 BeaufortNumber11 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber12 BeaufortNumberAttribute) Weather.kif 470-470 BeaufortNumber12 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber2 BeaufortNumberAttribute) Weather.kif 378-378 BeaufortNumber2 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber3 BeaufortNumberAttribute) Weather.kif 388-388 BeaufortNumber3 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber4 BeaufortNumberAttribute) Weather.kif 397-397 BeaufortNumber4 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber5 BeaufortNumberAttribute) Weather.kif 406-406 BeaufortNumber5 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber6 BeaufortNumberAttribute) Weather.kif 415-415 BeaufortNumber6 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber7 BeaufortNumberAttribute) Weather.kif 424-424 BeaufortNumber7 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber8 BeaufortNumberAttribute) Weather.kif 433-433 BeaufortNumber8 è un' istanza di BeaufortNumberAttribute
(instance BeaufortNumber9 BeaufortNumberAttribute) Weather.kif 442-442 BeaufortNumber9 è un' istanza di BeaufortNumberAttribute
(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 331-335
(=>
    (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 337-354


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