| PHValue(PH value) | | PH_value, 酸碱度, 酸鹼度 |
| 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 2483-2487 | |
| (instance PHValue NonCompositeUnitOfMeasure) | Geography.kif 2482-2482 | PH value is an instance of NonCompositeUnitOfMeasure |
| appearance as argument number 2 |
|
|
| (names "pH" PHValue) | Geography.kif 2480-2480 | PH value has name "pH" |
| (termFormat ChineseLanguage PHValue "酸碱度") | domainEnglishFormat.kif 45637-45637 | "酸碱度" is the printable form of PH value in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage PHValue "酸鹼度") | domainEnglishFormat.kif 45636-45636 | "酸鹼度" is the printable form of PH value in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage PHValue "PH value") | domainEnglishFormat.kif 45635-45635 | "PH value" is the printable form of PH value in english language |
| antecedent |
|
|
| (<=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (potentialOfHydrogen ?SOLUTION ?PH)) |
Geography.kif 2489-2492 | The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution |
| (=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6)) |
Geography.kif 2502-2508 |
|
| (=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (greaterThanOrEqualTo ?PH 0)) |
Geography.kif 2498-2500 |
|
| (=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (lessThanOrEqualTo ?PH 14)) |
Geography.kif 2494-2496 |
|
| consequent |
|
|
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5)))) |
Geography.kif 2450-2458 |
|
|
|
|