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
drySeasonInArea
の数値 1 引数は
地理的地域
の
instance
では %n
(
domainSubclass
drySeasonInArea
2
TimeInterval
)
Geography.kif 1627-1627
drySeasonInArea
の数値 2 引数は
時間間隔
の
subclass
では %n
(
instance
drySeasonInArea
AsymmetricRelation
)
Geography.kif 1625-1625
drySeasonInArea
は
非対称関係
の
instance
では %n
(
instance
drySeasonInArea
BinaryPredicate
)
Geography.kif 1624-1624
drySeasonInArea
は
2進述語
の
instance
では %n
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
climateTypeInArea
地理的地域
and
MediterraneanClimateZone
drySeasonInArea
地理的地域
and
SummerSeason
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