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
drySeasonInArea
Sigma KEE - drySeasonInArea
drySeasonInArea
appearance as argument number 1
(
documentation
drySeasonInArea
EnglishLanguage
"(
drySeasonInArea
?AREA ?INTERVAL) means that in the
GeographicArea
?AREA, the dry season occurs during the
TimeInterval
?INTERVAL. For example, (
drySeasonInArea
Angola
(RecurringTimeIntervalFn
May
October
)).")
Geography.kif 1629-1632
(
domain
drySeasonInArea
1
GeographicArea
)
Geography.kif 1626-1626
(
domainSubclass
drySeasonInArea
2
TimeInterval
)
Geography.kif 1627-1627
(
instance
drySeasonInArea
AsymmetricRelation
)
Geography.kif 1625-1625
(
instance
drySeasonInArea
BinaryPredicate
)
Geography.kif 1624-1624
appearance as argument number 2
(
format
ChineseLanguage
drySeasonInArea
"%2 %n 是 在地区 %1 的 dry 季节")
domainEnglishFormat.kif 808-808
(
format
ChineseTraditionalLanguage
drySeasonInArea
"%2 %n 是 在地區 %1 的 dry 季節")
domainEnglishFormat.kif 807-807
(
format
EnglishLanguage
drySeasonInArea
"%2 is %n a dry season in area of %1")
domainEnglishFormat.kif 806-806
(
termFormat
ChineseLanguage
drySeasonInArea
"地区干燥的季节")
domainEnglishFormat.kif 20604-20604
(
termFormat
ChineseTraditionalLanguage
drySeasonInArea
"地區乾燥的季節")
domainEnglishFormat.kif 20603-20603
(
termFormat
EnglishLanguage
drySeasonInArea
"dry season in area")
domainEnglishFormat.kif 20602-20602
consequent
(=>
(
climateTypeInArea
?AREA
MediterraneanClimateZone
)
(
drySeasonInArea
?AREA
SummerSeason
))
Geography.kif 1464-1466
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