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 873-875
(
domain
cloudCoverFraction
1
Region
)
Weather.kif 870-870
Die Zahl 1 Argument von
cloudCoverFraction
ist ein
fall
von
Region
%n{nicht}
(
domain
cloudCoverFraction
2
NonnegativeRealNumber
)
Weather.kif 871-871
Die Zahl 2 Argument von
cloudCoverFraction
ist ein
fall
von
NonnegativeRealNumber
%n{nicht}
(
instance
cloudCoverFraction
BinaryPredicate
)
Weather.kif 869-869
cloudCoverFraction
ist ein
fall
von
BinaryPredicate
%n{nicht}
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 892-898
Wenn
Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Process
ist ein
fall
von
ClearWeather
%n{nicht} und
eventLocated
** Process
and
** Region
und
cloudCoverFraction
** Region
and
NonnegativeRealNumber
,
dann
** NonnegativeRealNumber
ist
kleinerAls
0.3 %n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 943-949
Wenn
Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Process
ist ein
fall
von
OvercastWeather
%n{nicht} und
eventLocated
** Process
and
** Region
und
cloudCoverFraction
** Region
and
NonnegativeRealNumber
,
dann
** NonnegativeRealNumber
ist
groesserAls
0.7 %n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 917-925
Wenn
Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Process
ist ein
fall
von
PartlyCloudyWeather
%n{nicht} und
eventLocated
** Process
and
** Region
und
cloudCoverFraction
** Region
and
NonnegativeRealNumber
,
dann
** NonnegativeRealNumber
ist
groesserAlsOderGleich
0.3 %n{nicht} und
** NonnegativeRealNumber
ist
kleinerAlsOderGleich
0.7 %n{nicht}
consequent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 882-890
Wenn
Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Process
ist ein
fall
von
ClearWeather
%n{nicht} und
eventLocated
** Process
and
** Region
,
dann es gibt
NonnegativeRealNumber
um
cloudCoverFraction
** Region
and
** NonnegativeRealNumber
und
** NonnegativeRealNumber
ist
kleinerAls
0.3 %n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThan
?FRACTION 0.7))))
Weather.kif 933-941
Wenn
Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Process
ist ein
fall
von
OvercastWeather
%n{nicht} und
eventLocated
** Process
and
** Region
,
dann es gibt
NonnegativeRealNumber
um
cloudCoverFraction
** Region
and
** NonnegativeRealNumber
und
** NonnegativeRealNumber
ist
groesserAls
0.7 %n{nicht}
(=>
(
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 906-915
Wenn
Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Process
ist ein
fall
von
PartlyCloudyWeather
%n{nicht} und
eventLocated
** Process
and
** Region
,
dann es gibt
NonnegativeRealNumber
um
cloudCoverFraction
** Region
and
** NonnegativeRealNumber
und
** NonnegativeRealNumber
ist
groesserAlsOderGleich
0.3 %n{nicht} und
** NonnegativeRealNumber
ist
kleinerAlsOderGleich
0.7 %n{nicht}
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