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
hotSeasonInArea
Sigma KEE - hotSeasonInArea
hotSeasonInArea
appearance as argument number 1
(
documentation
hotSeasonInArea
EnglishLanguage
"(
hotSeasonInArea
?AREA ?INTERVAL) means that in the
GeographicArea
?AREA, the hot season occurs during the
TimeInterval
?INTERVAL. For example, (
hotSeasonInArea
Angola
(RecurringTimeIntervalFn
November
April
)).")
Geography.kif 1650-1653
(
domain
hotSeasonInArea
1
GeographicArea
)
Geography.kif 1647-1647
The number 1 argument of
hot season in area
is an
instance
of
geographic area
(
domainSubclass
hotSeasonInArea
2
TimeInterval
)
Geography.kif 1648-1648
The number 2 argument of
hot season in area
is a
subclass
of
time interval
(
instance
hotSeasonInArea
AsymmetricRelation
)
Geography.kif 1646-1646
hot season in area
is an
instance
of
asymmetric relation
(
instance
hotSeasonInArea
BinaryPredicate
)
Geography.kif 1645-1645
hot season in area
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
hotSeasonInArea
"%2 %n 是在地区 %1 的 hot 季节")
domainEnglishFormat.kif 1213-1213
(
format
ChineseTraditionalLanguage
hotSeasonInArea
"%2 %n 是在地區 %1 的 hot 季節")
domainEnglishFormat.kif 1212-1212
(
format
EnglishLanguage
hotSeasonInArea
"%2 is %n a hot season in area of %1")
domainEnglishFormat.kif 1211-1211
(
termFormat
ChineseLanguage
hotSeasonInArea
"该地区炎热的季节")
domainEnglishFormat.kif 28689-28689
(
termFormat
ChineseTraditionalLanguage
hotSeasonInArea
"該地區炎熱的季節")
domainEnglishFormat.kif 28688-28688
(
termFormat
EnglishLanguage
hotSeasonInArea
"hot season in area")
domainEnglishFormat.kif 28687-28687
consequent
(=>
(
climateTypeInArea
?AREA
ContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1478-1480
If
continental climate zone
is a
climate
type in area of
a geographic area
,
then
summer season
is a
hot
season in area of
the geographic area
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
If
midlatitude continental climate zone
is a
climate
type in area of
a geographic area
,
then
summer season
is a
hot
season in area of
the geographic area
(=>
(
instance
?G
Gutrah
)
(
hasPurpose
?G
(=>
(
exists
(?S ?T ?H ?AREA)
(
and
(
holdsDuring
?T
(
wears
?H ?G))
(
holdsDuring
?T
(
located
?H ?AREA))
(
hotSeasonInArea
?AREA ?S)))
(
during
?T ?S))))
ArabicCulture.kif 376-387
If
a physical
is an
instance
of
gutrah
,
then
the physical
has the purpose
if there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
wear
s
the physical
holds
during
the other entity
and
the third entity
is
located
at
the fourth entity
holds
during
the other entity
and
the entity
is a
hot
season in area of
the fourth entity
,
then
the other entity
takes place
during
the entity
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