Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - precipitationRate
precipitationRate

appearance as argument number 1
-------------------------


(documentation precipitationRate EnglishLanguage "(precipitationRate ?EVENT ?RATE) means that in the Precipitation ?EVENT, the precipitation falls at a rate of ?RATE.") Weather.kif 1189-1192
(domain precipitationRate 1 Precipitation) Weather.kif 1187-1187 The number 1 argument of precipitation rate is an instance of precipitation
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1188-1188 The number 2 argument of precipitation rate is an instance of function quantity
(instance precipitationRate AsymmetricRelation) Weather.kif 1186-1186 precipitation rate is an instance of asymmetric relation
(instance precipitationRate BinaryPredicate) Weather.kif 1185-1185 precipitation rate is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage precipitationRate "%2 %n 是 %1 的 precipitation 速率") domainEnglishFormat.kif 2023-2023
(format ChineseTraditionalLanguage precipitationRate "%2 %n 是 %1 的 precipitation 速率") domainEnglishFormat.kif 2022-2022
(format EnglishLanguage precipitationRate "%2 is %n a precipitation rate of %1") domainEnglishFormat.kif 2021-2021
(termFormat ChineseLanguage precipitationRate "降水率") domainEnglishFormat.kif 47158-47158
(termFormat ChineseTraditionalLanguage precipitationRate "降水率") domainEnglishFormat.kif 47157-47157
(termFormat EnglishLanguage precipitationRate "precipitation rate") domainEnglishFormat.kif 47156-47156


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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