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
precipitationAmount
Sigma KEE - precipitationAmount
precipitationAmount
appearance as argument number 1
(
documentation
precipitationAmount
EnglishLanguage
"(
precipitationAmount
?EVENT ?AMOUNT) means that in the
Precipitation
process ?EVENT, the quantity of precipitation that fell was ?AMOUNT.")
Weather.kif 1198-1201
(
domain
precipitationAmount
1
Precipitation
)
Weather.kif 1196-1196
The number 1 argument of
precipitation amount
is an
instance
of
precipitation
(
domain
precipitationAmount
2
ConstantQuantity
)
Weather.kif 1197-1197
The number 2 argument of
precipitation amount
is an
instance
of
constant quantity
(
instance
precipitationAmount
AsymmetricRelation
)
Weather.kif 1195-1195
precipitation amount
is an
instance
of
asymmetric relation
(
instance
precipitationAmount
BinaryPredicate
)
Weather.kif 1194-1194
precipitation amount
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
precipitationAmount
"%2 %n 是 %1 的 precipitation 总额")
domainEnglishFormat.kif 2019-2019
(
format
ChineseTraditionalLanguage
precipitationAmount
"%2 %n 是 %1 的 precipitation 總額")
domainEnglishFormat.kif 2018-2018
(
format
EnglishLanguage
precipitationAmount
"%2 is %n a precipitation amount of %1")
domainEnglishFormat.kif 2017-2017
(
termFormat
ChineseLanguage
precipitationAmount
"降水量")
domainEnglishFormat.kif 47116-47116
(
termFormat
ChineseTraditionalLanguage
precipitationAmount
"降水量")
domainEnglishFormat.kif 47115-47115
(
termFormat
EnglishLanguage
precipitationAmount
"precipitation amount")
domainEnglishFormat.kif 47114-47114
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