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
该地区炎热的季节
的 1 数量 是
地理区域
的
instance
(
domainSubclass
hotSeasonInArea
2
TimeInterval
)
Geography.kif 1648-1648
该地区炎热的季节
的 2 数量 是
时距
的
subclass
(
instance
hotSeasonInArea
AsymmetricRelation
)
Geography.kif 1646-1646
该地区炎热的季节
是
非对称关系
的
instance
(
instance
hotSeasonInArea
BinaryPredicate
)
Geography.kif 1645-1645
该地区炎热的季节
是
二元谓语
的
instance
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
如果
大陆性气候区
是
地理区域
地区的
climate
类别,
然后
夏季
是在地区
那个 地理区域
的
hot
季节
(=>
(
climateTypeInArea
?AREA
MidlatitudeContinentalClimateZone
)
(
hotSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1493-1495
如果
中纬度大陆性气候带
是
地理区域
地区的
climate
类别,
然后
夏季
是在地区
那个 地理区域
的
hot
季节
(=>
(
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
,
然后
那个 物理
的 目的 是
如果 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 第三 实体
wears
那个 物理
在
那个 另外 实体
holdsDuring
和
那个 第三 实体
是
located
在
那个 第四 实体
在
那个 另外 实体
holdsDuring
和
那个 实体
是在地区
那个 第四 实体
的
hot
季节,
然后
那个 另外 实体
在
那个 实体
时段内发生
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