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
BiologicalAgent
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
hotSeasonInArea
の数値 1 引数は
地理的地域
の
instance
では %n
(
domainSubclass
hotSeasonInArea
2
TimeInterval
)
Geography.kif 1648-1648
hotSeasonInArea
の数値 2 引数は
時間間隔
の
subclass
では %n
(
instance
hotSeasonInArea
AsymmetricRelation
)
Geography.kif 1646-1646
hotSeasonInArea
は
非対称関係
の
instance
では %n
(
instance
hotSeasonInArea
BinaryPredicate
)
Geography.kif 1645-1645
hotSeasonInArea
は
2進述語
の
instance
では %n
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
地理的地域
and
ContinentalClimateZone
hotSeasonInArea
地理的地域
and
SummerSeason
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
climateTypeInArea
地理的地域
and
MidlatitudeContinentalClimateZone
hotSeasonInArea
地理的地域
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
物理
は
Gutrah
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は % を
wear
s %n{ない} は
エンティティー
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
エンティティー
の
during
holds %n{ない}
hotSeasonInArea
エンティティー
and
エンティティー
エンティティー
は
エンティティー
の
during
に takes %n{ない}
の 目的 %n{ない}
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