Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
cloudCoverFraction
Sigma KEE - cloudCoverFraction
cloudCoverFraction
appearance as argument number 1
(
documentation
cloudCoverFraction
EnglishLanguage
"(
cloudCoverFraction
?AREA ?AMOUNT) means that in the
Region
?AREA, the fraction ?AMOUNT of the sky is covered with clouds.")
Weather.kif 869-871
(
domain
cloudCoverFraction
1
Region
)
Weather.kif 866-866
The number 1 argument of
cloud cover fraction
is an
instance
of
region
(
domain
cloudCoverFraction
2
NonnegativeRealNumber
)
Weather.kif 867-867
The number 2 argument of
cloud cover fraction
is an
instance
of
nonnegative real number
(
instance
cloudCoverFraction
BinaryPredicate
)
Weather.kif 865-865
cloud cover fraction
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
cloudCoverFraction
"%2 %1 %3")
domainEnglishFormat.kif 468-468
(
format
ChineseTraditionalLanguage
cloudCoverFraction
"%2 %1 %3")
domainEnglishFormat.kif 467-467
(
format
EnglishLanguage
cloudCoverFraction
"%2 is %n a cloud cover fraction of %1")
domainEnglishFormat.kif 466-466
(
termFormat
ChineseLanguage
cloudCoverFraction
"云覆盖部分")
domainEnglishFormat.kif 15294-15294
(
termFormat
ChineseTraditionalLanguage
cloudCoverFraction
"雲覆蓋部分")
domainEnglishFormat.kif 15293-15293
(
termFormat
EnglishLanguage
cloudCoverFraction
"cloud cover fraction")
domainEnglishFormat.kif 15292-15292
antecedent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 888-894
If
a region
is an
instance
of
geographic area
and
a process
is an
instance
of
clear weather
and
the process
is
located
at
the region
and
a nonnegative real number
is a
cloud
cover fraction of
the region
,
then
the nonnegative real number
is
less
than 0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 939-945
If
a region
is an
instance
of
geographic area
and
a process
is an
instance
of
overcast weather
and
the process
is
located
at
the region
and
a nonnegative real number
is a
cloud
cover fraction of
the region
,
then
the nonnegative real number
is
greater
than 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 913-921
If
a region
is an
instance
of
geographic area
and
a process
is an
instance
of
partly cloudy weather
and
the process
is
located
at
the region
and
a nonnegative real number
is a
cloud
cover fraction of
the region
,
then
the nonnegative real number
is
greater
than or equal to 0.3 and
the nonnegative real number
is
less
than or equal to 0.7
consequent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 878-886
If
a region
is an
instance
of
geographic area
and
a process
is an
instance
of
clear weather
and
the process
is
located
at
the region
,
then there exists
a nonnegative real number
such that
the nonnegative real number
is a
cloud
cover fraction of
the region
and
the nonnegative real number
is
less
than 0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThan
?FRACTION 0.7))))
Weather.kif 929-937
If
a region
is an
instance
of
geographic area
and
a process
is an
instance
of
overcast weather
and
the process
is
located
at
the region
,
then there exists
a nonnegative real number
such that
the nonnegative real number
is a
cloud
cover fraction of
the region
and
the nonnegative real number
is
greater
than 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 902-911
If
a region
is an
instance
of
geographic area
and
a process
is an
instance
of
partly cloudy weather
and
the process
is
located
at
the region
,
then there exists
a nonnegative real number
such that
the nonnegative real number
is a
cloud
cover fraction of
the region
and
the nonnegative real number
is
greater
than or equal to 0.3 and
the nonnegative real number
is
less
than or equal to 0.7
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