| 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 2471-2475 | |
| (instance PHValue NonCompositeUnitOfMeasure) | Geography.kif 2470-2470 | PH value is an instance of NonCompositeUnitOfMeasure |
| appearance as argument number 2 |
|
|
| (names "pH" PHValue) | Geography.kif 2468-2468 | 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 2477-2480 | 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 2490-2496 |
|
| (=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (greaterThanOrEqualTo ?PH 0)) |
Geography.kif 2486-2488 |
|
| (=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (lessThanOrEqualTo ?PH 14)) |
Geography.kif 2482-2484 |
|
| consequent |
|
|
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5)))) |
Geography.kif 2438-2446 |
|
|
|
|