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
warmSeasonInArea
Sigma KEE - warmSeasonInArea
warmSeasonInArea
appearance as argument number 1
(
documentation
warmSeasonInArea
EnglishLanguage
"(
warmSeasonInArea
?AREA ?INTERVAL) means that in the
GeographicArea
?AREA, the warm season occurs during the
TimeInterval
?INTERVAL.")
Geography.kif 1620-1622
(
domain
warmSeasonInArea
1
GeographicArea
)
Geography.kif 1617-1617
地区温暖的季节
的 1 数量 是
地理区域
的
instance
(
domainSubclass
warmSeasonInArea
2
TimeInterval
)
Geography.kif 1618-1618
地区温暖的季节
的 2 数量 是
时距
的
subclass
(
instance
warmSeasonInArea
AsymmetricRelation
)
Geography.kif 1616-1616
地区温暖的季节
是
非对称关系
的
instance
(
instance
warmSeasonInArea
BinaryPredicate
)
Geography.kif 1615-1615
地区温暖的季节
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
warmSeasonInArea
"%2 %n 是 在区域 %1 的 warm 季节")
domainEnglishFormat.kif 2611-2611
(
format
ChineseTraditionalLanguage
warmSeasonInArea
"%2 %n 是 在區域 %1 的 warm 季節")
domainEnglishFormat.kif 2610-2610
(
format
EnglishLanguage
warmSeasonInArea
"%2 is %n a warm season in area of %1")
domainEnglishFormat.kif 2609-2609
(
termFormat
ChineseLanguage
warmSeasonInArea
"地区温暖的季节")
domainEnglishFormat.kif 62217-62217
(
termFormat
ChineseTraditionalLanguage
warmSeasonInArea
"地區溫暖的季節")
domainEnglishFormat.kif 62216-62216
(
termFormat
EnglishLanguage
warmSeasonInArea
"warm season in area")
domainEnglishFormat.kif 62215-62215
consequent
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
warmSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1456-1458
如果
地中海气候区
是
地理区域
地区的
climate
类别,
然后
夏季
是 在区域
那个 地理区域
的
warm
季节
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