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


KB Term:  Term intersection
English Word: 

Sigma KEE - BeaufortNumberAttribute
BeaufortNumberAttribute(Beaufort number attribute)

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


(subclass BeaufortNumberAttribute SpeedScaleAttribute) Weather.kif 307-307 Beaufort number attribute is a subclass of speed scale attribute
(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 308-311 Beaufort number attribute is a subclass of speed scale attribute
(documentation BeaufortNumberAttribute ChineseLanguage "BeaufortNumberAttribute (浦福氏凤级) 是表示风力的 Attribute (属性)， 它根据可观察的天气条件如在相关位置物体的动态，然后按强弱归类风速等级。") Weather.kif 312-313 Beaufort number attribute is a subclass of speed scale attribute

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


(instance BeaufortNumber0 BeaufortNumberAttribute) Weather.kif 344-344 Beaufort number 0 is an instance of Beaufort number attribute
(instance BeaufortNumber1 BeaufortNumberAttribute) Weather.kif 353-353 Beaufort number 1 is an instance of Beaufort number attribute
(instance BeaufortNumber2 BeaufortNumberAttribute) Weather.kif 362-362 Beaufort number 2 is an instance of Beaufort number attribute
(instance BeaufortNumber3 BeaufortNumberAttribute) Weather.kif 372-372 Beaufort number 3 is an instance of Beaufort number attribute
(instance BeaufortNumber4 BeaufortNumberAttribute) Weather.kif 381-381 Beaufort number 4 is an instance of Beaufort number attribute
(instance BeaufortNumber5 BeaufortNumberAttribute) Weather.kif 390-390 Beaufort number 5 is an instance of Beaufort number attribute
(instance BeaufortNumber6 BeaufortNumberAttribute) Weather.kif 399-399 Beaufort number 6 is an instance of Beaufort number attribute
(instance BeaufortNumber7 BeaufortNumberAttribute) Weather.kif 408-408 Beaufort number 7 is an instance of Beaufort number attribute
(instance BeaufortNumber8 BeaufortNumberAttribute) Weather.kif 417-417 Beaufort number 8 is an instance of Beaufort number attribute
(instance BeaufortNumber9 BeaufortNumberAttribute) Weather.kif 426-426 Beaufort number 9 is an instance of Beaufort number attribute
(instance BeaufortNumber10 BeaufortNumberAttribute) Weather.kif 435-435 Beaufort number 10 is an instance of Beaufort number attribute
(instance BeaufortNumber11 BeaufortNumberAttribute) Weather.kif 444-444 Beaufort number 11 is an instance of Beaufort number attribute
(instance BeaufortNumber12 BeaufortNumberAttribute) Weather.kif 454-454 Beaufort number 12 is an instance of Beaufort number attribute
(termFormat EnglishLanguage BeaufortNumberAttribute "Beaufort number attribute") domainEnglishFormat.kif 10302-10302 Beaufort number 12 is an instance of Beaufort number attribute
(termFormat ChineseLanguage BeaufortNumberAttribute "浦福氏风级属性") domainEnglishFormat.kif 10303-10303 Beaufort number 12 is an instance of Beaufort number attribute

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


(=>
    (and
        (instance ?BN BeaufortNumberAttribute)
        (property ?X ?BN))
    (instance ?X Wind))		 Weather.kif 315-319 If X is an instance of Beaufort number attribute and Y the attribute X, then Y is an instance of wind
(=>
    (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 321-338 If All of the following hold: (1) X is an instance of wind (2) Y is an instance of Beaufort number attribute (3) X is located at Z (4) W believes X the attribute Y (5) V U(s) and T U(s) are the min and max speed of Y (6) U is an instance of unit of measure, then there exists S such that S is greater than or equal to V and S is less than or equal to T and W believes S U(s) is a surface wind speed of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners