| appearance as argument number 1 |
|
| (documentation MmMercury ChineseLanguage "MmMercury 是 barometricPressure 的一种 UnitOfMeasure，它用来表示被气压环绕的汞气压计上汞柱的毫米数目。") | chinese_format.kif 2682-2683 | |
| (documentation MmMercury EnglishLanguage "MmMercury is a UnitOfMeasure for barometricPressure. It is used to express the number of millimeters of mercury supported in a mercurial barometer by the surrounding air pressure.") | Merge.kif 7841-7844 | |
| (documentation MmMercury JapaneseLanguage "MmMercury は、barometricPressure のための UnitOfMeasure で、周囲の気圧によって水銀気圧計で支持される水銀のミリメートル数を表すために使用 される。") | japanese_format.kif 1404-1406 | |
| (instance MmMercury UnitOfAtmosphericPressure) | Merge.kif 7839-7839 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MmMercury "mm汞") | domainEnglishFormat.kif 38157-38157 | |
| (termFormat ChineseTraditionalLanguage MmMercury "mm汞") | domainEnglishFormat.kif 38156-38156 | |
| (termFormat EnglishLanguage MmMercury "mm mercury") | domainEnglishFormat.kif 38155-38155 |
| antecedent |
|
|
| (=> (holdsDuring ?T (and (systolicBloodPressure ?H (MeasureFn ?NS MmMercury)) (diastolicBloodPressure ?H (MeasureFn ?ND MmMercury)) (greaterThan 90.0 ?NS) (greaterThan 60.0 ?ND))) (holdsDuring ?T (attribute ?H LowBloodPressure))) |
Mid-level-ontology.kif 10441-10451 | |
| (=> (holdsDuring ?T (and (systolicBloodPressure ?H (MeasureFn ?NS MmMercury)) (diastolicBloodPressure ?H (MeasureFn ?ND MmMercury)) (greaterThan ?NS 140.0) (greaterThan ?ND 90.0))) (holdsDuring ?T (attribute ?H HighBloodPressure))) |
Mid-level-ontology.kif 10423-10433 |
|
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