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 and
GeographicArea
(
domainSubclass
warmSeasonInArea
2
TimeInterval
)
Geography.kif 1618-1618
域子類
地區溫暖的季節
, 2 and
TimeInterval
(
instance
warmSeasonInArea
AsymmetricRelation
)
Geography.kif 1616-1616
例
地區溫暖的季節
and
AsymmetricRelation
(
instance
warmSeasonInArea
BinaryPredicate
)
Geography.kif 1615-1615
例
地區溫暖的季節
and
BinaryPredicate
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 62219-62219
(
termFormat
ChineseTraditionalLanguage
warmSeasonInArea
"地區溫暖的季節")
domainEnglishFormat.kif 62218-62218
(
termFormat
EnglishLanguage
warmSeasonInArea
"warm season in area")
domainEnglishFormat.kif 62217-62217
consequent
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
warmSeasonInArea
?AREA
SummerSeason
))
Geography.kif 1456-1458
地中海氣候區
是
GeographicArea
地區的
climate
類別
夏季
是 在區域
GeographicArea
的
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