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
Il numero 1 argomenti di
hotSeasonInArea
è un
istanza
di
AreaGeografica
(
domainSubclass
hotSeasonInArea
2
TimeInterval
)
Geography.kif 1648-1648
Il numero 2 argomento
hotSeasonInArea
è una
sottoclasse
di
IntervalloTemporale
(
instance
hotSeasonInArea
AsymmetricRelation
)
Geography.kif 1646-1646
hotSeasonInArea
è un'
istanza
di
RelazioneAsimmetrica
(
instance
hotSeasonInArea
BinaryPredicate
)
Geography.kif 1645-1645
hotSeasonInArea
è un'
istanza
di
PredicatoBinario
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
AreaGeografica
and
ContinentalClimateZone
hotSeasonInArea
AreaGeografica
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
climateTypeInArea
AreaGeografica
and
MidlatitudeContinentalClimateZone
hotSeasonInArea
AreaGeografica
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
Entit�Concreta
è un'
istanza
di
Gutrah
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
wears
Entit�
and
Entit�Concreta
vales
durante
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
Entit�
hotSeasonInArea
Entit�
and
Entit�
Entit�
has luogo
durante
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