| appearance as argument number 1 |
|
| (documentation PHValue EnglishLanguage "PHValue ('pH') is a UnitOfMeasure used to measure the acidity or alkalinity of a solution. The pH scale ranges from 0 to 14. The pH of a neutral solution is 7. Acid solutions have a pH value less than seven. Alkaline solutions have a value greater than seven.") | Geography.kif 2545-2549 | |
| (instance PHValue NonCompositeUnitOfMeasure) | Geography.kif 2544-2544 |
| appearance as argument number 2 |
|
|
| (names "pH" PHValue) | Geography.kif 2542-2542 | |
| (termFormat ChineseLanguage PHValue "酸碱度") | domainEnglishFormat.kif 45691-45691 | |
| (termFormat ChineseTraditionalLanguage PHValue "酸鹼度") | domainEnglishFormat.kif 45690-45690 | |
| (termFormat EnglishLanguage PHValue "PH value") | domainEnglishFormat.kif 45689-45689 |
| antecedent |
|
|
| (<=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (potentialOfHydrogen ?SOLUTION ?PH)) |
Geography.kif 2551-2554 | |
| (=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6)) |
Geography.kif 2564-2570 | |
| (=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (greaterThanOrEqualTo ?PH 0.0)) |
Geography.kif 2560-2562 | |
| (=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (lessThanOrEqualTo ?PH 14.0)) |
Geography.kif 2556-2558 |
| consequent |
|
|
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5.0)))) |
Geography.kif 2512-2520 |
|
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