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
The number 1 argument of
dry season in area
is an
instance
of
geographic area
(
domainSubclass
drySeasonInArea
2
TimeInterval
)
Geography.kif 1627-1627
The number 2 argument of
dry season in area
is a
subclass
of
time interval
(
instance
drySeasonInArea
AsymmetricRelation
)
Geography.kif 1625-1625
dry season in area
is an
instance
of
asymmetric relation
(
instance
drySeasonInArea
BinaryPredicate
)
Geography.kif 1624-1624
dry season in area
is an
instance
of
binary predicate
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
If
mediterranean climate zone
is a
climate
type in area of
a geographic area
,
then
summer season
is a
dry
season in area of
the geographic area
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