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

Formal Language: 



KB Term:  Term intersection
English Word: 

  cloudCoverFraction

Sigma KEE - cloudCoverFraction
cloudCoverFraction

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


s__documentation(s__cloudCoverFraction__m,s__EnglishLanguage,'(cloudCoverFraction ?AREA ?AMOUNT) means that in the Region ?AREA, the fraction ?AMOUNT of the sky is covered with clouds.')

Weather.kif 485-487
s__domain(s__cloudCoverFraction__m,1,s__Region)

Weather.kif 482-482 The number 1 argument of cloud cover fraction is an instance of region
s__domain(s__cloudCoverFraction__m,2,s__NonnegativeRealNumber)

Weather.kif 483-483 The number 2 argument of cloud cover fraction is an instance of nonnegative real number
s__instance(s__cloudCoverFraction__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Weather.kif 481-481 cloud cover fraction is an instance of binary predicate

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


s__format(s__EnglishLanguage,s__cloudCoverFraction__m,'%2 is %n a cloud cover fraction of %1')

domainEnglishFormat.kif 126-126
s__termFormat(s__EnglishLanguage,s__cloudCoverFraction__m,'cloud cover fraction')

domainEnglishFormat.kif 2972-2972 "cloud cover fraction" is the printable form of cloud cover fraction in english language

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


( ∀ [V__FRACTION,V__AREA,V__WEATHER]
   (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__=>((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__ClearWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA)
      s__and__ms__cloudCoverFraction(V__AREA,V__FRACTION))
  s__=>s__lessThan(V__FRACTION,0.3)))
)

Weather.kif 504-510
( ∀ [V__FRACTION,V__AREA,V__WEATHER]
   (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__=>((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__OvercastWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA)
      s__and__ms__cloudCoverFraction(V__AREA,V__FRACTION))
  s__=>s__greaterThan(V__FRACTION,0.7)))
)

Weather.kif 555-561
( ∀ [V__FRACTION,V__AREA,V__WEATHER]
   (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__=>((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__PartlyCloudyWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA)
      s__and__ms__cloudCoverFraction(V__AREA,V__FRACTION))
  s__=>(s__greaterThanOrEqualTo(V__FRACTION,0.3)
  s__and__ms__lessThanOrEqualTo(V__FRACTION,0.7))))
)

Weather.kif 529-537

consequent
-------------------------


( ∀ [V__AREA,V__WEATHER]
   ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__ClearWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA))
  s__=>(s__exists__m[V__FRACTION]
     (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__and__m(s__cloudCoverFraction(V__AREA,V__FRACTION)
    s__and__ms__lessThan(V__FRACTION,0.3)))))
)

Weather.kif 494-502
( ∀ [V__AREA,V__WEATHER]
   ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__OvercastWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA))
  s__=>(s__exists__m[V__FRACTION]
     (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__and__m(s__cloudCoverFraction(V__AREA,V__FRACTION)
    s__and__ms__greaterThan(V__FRACTION,0.7)))))
)

Weather.kif 545-553
( ∀ [V__AREA,V__WEATHER]
   ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__WEATHER,s__PartlyCloudyWeather)s__and__ms__eventLocated(V__WEATHER,V__AREA))
  s__=>(s__exists__m[V__FRACTION]
     (s__instance(V__FRACTION,s__NonnegativeRealNumber)s__and__m(s__cloudCoverFraction(V__AREA,V__FRACTION)
    s__and__ms__greaterThanOrEqualTo(V__FRACTION,0.3)
  s__and__ms__lessThanOrEqualTo(V__FRACTION,0.7)))))
)

Weather.kif 518-527


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners