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 1205-1208
(domain precipitationRate 1 Precipitation) Weather.kif 1203-1203 precipitationRate の数値 1 引数は Precipitationinstance では %n
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1204-1204 precipitationRate の数値 2 引数は 関数量instance では %n
(instance precipitationRate AsymmetricRelation) Weather.kif 1202-1202 precipitationRate非対称関係instance では %n
(instance precipitationRate BinaryPredicate) Weather.kif 1201-1201 precipitationRate2進述語instance では %n

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 47120-47120
(termFormat ChineseTraditionalLanguage precipitationRate "降水率") domainEnglishFormat.kif 47119-47119
(termFormat EnglishLanguage precipitationRate "precipitation rate") domainEnglishFormat.kif 47118-47118


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