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
Le nombre 1 argument de
hotSeasonInArea
est une
instance
de
secteur g�ographique
(
domainSubclass
hotSeasonInArea
2
TimeInterval
)
Geography.kif 1648-1648
Le nombre 2 argument de
hotSeasonInArea
est une
sous
-classe de
interval temporel
(
instance
hotSeasonInArea
AsymmetricRelation
)
Geography.kif 1646-1646
hotSeasonInArea
est une
instance
de
relation asym�trique
(
instance
hotSeasonInArea
BinaryPredicate
)
Geography.kif 1645-1645
hotSeasonInArea
est une
instance
de
pr�dicat binaire
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
climateTypeInArea
secteur g�ographique
and
ContinentalClimateZone
hotSeasonInArea
secteur g�ographique
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
climateTypeInArea
secteur g�ographique
and
MidlatitudeContinentalClimateZone
hotSeasonInArea
secteur g�ographique
and
SummerSeason
(=>
(
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
Physique
est une
instance
de
Gutrah
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
porte
physique
pendant
entit�
entit�
est
situ
� �
entit�
pendant
entit�
hotSeasonInArea
entit�
and
entit�
entit�
prend place
pendant
entit�
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