| 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 1440-1443 | |
| (domain precipitationRate 1 Precipitation) | Weather.kif 1438-1438 | precipitationRate の数値 1 引数は Precipitation の instance では |
| (domain precipitationRate 2 FunctionQuantity) | Weather.kif 1439-1439 | precipitationRate の数値 2 引数は 関数量 の instance では |
| (instance precipitationRate AsymmetricRelation) | Weather.kif 1437-1437 | precipitationRate は 非対称関係 の instance では |
| (instance precipitationRate BinaryPredicate) | Weather.kif 1436-1436 | precipitationRate は 2進述語 の instance では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage precipitationRate "%2 %n 是 %1 的 precipitation 速率") | domainEnglishFormat.kif 2027-2027 | |
| (format ChineseTraditionalLanguage precipitationRate "%2 %n 是 %1 的 precipitation 速率") | domainEnglishFormat.kif 2026-2026 | |
| (format EnglishLanguage precipitationRate "%2 is %n a precipitation rate of %1") | domainEnglishFormat.kif 2025-2025 | |
| (termFormat ChineseLanguage precipitationRate "降水率") | domainEnglishFormat.kif 47122-47122 | |
| (termFormat ChineseTraditionalLanguage precipitationRate "降水率") | domainEnglishFormat.kif 47121-47121 | |
| (termFormat EnglishLanguage precipitationRate "precipitation rate") | domainEnglishFormat.kif 47120-47120 |
|
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