Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PHValue(PH value) |
| appearance as argument number 1 |
|
| (instance PHValue NonCompositeUnitOfMeasure) | Geography.kif 3977-3977 | PH value is an instance of non composite unit of measure |
| (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 3978-3982 | PH value is an instance of non composite unit of measure |
| appearance as argument number 2 |
|
|
| (names "pH" PHValue) | Geography.kif 3975-3975 | PH value has name "pH" |
| (termFormat EnglishLanguage PHValue "PH value") | domainEnglishFormat.kif 45701-45701 | PH value has name "pH" |
| (termFormat ChineseTraditionalLanguage PHValue "酸鹼度") | domainEnglishFormat.kif 45702-45702 | PH value has name "pH" |
| (termFormat ChineseLanguage PHValue "酸碱度") | domainEnglishFormat.kif 45703-45703 | PH value has name "pH" |
| antecedent |
|
|
| (<=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (potentialOfHydrogen ?SOLUTION ?PH)) |
Geography.kif 3984-3987 | The measure of X is Y PH value(s) if and only if Y is a potential of hydrogen of X |
| (=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (lessThanOrEqualTo ?PH 14.0)) |
Geography.kif 3989-3991 | If the measure of X is Y PH value(s), then Y is less than or equal to 14.0 |
| (=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (greaterThanOrEqualTo ?PH 0.0)) |
Geography.kif 3993-3995 | If the measure of X is Y PH value(s), then Y is greater than or equal to 0.0 |
| (=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6)) |
Geography.kif 3997-4003 | If X is an instance of process, Y is a patient of X, Y is an instance of water, and the measure of Y is Z PH value(s), then Z is less than 5.6 |
| consequent |
|
|
| (=> (and (instance ?C CurdlingMilk) (instance ?M Milk) (patient ?C ?M)) (exists (?PH ?D ?H ?L) (and (measure ?M (MeasureFn ?PH PHValue)) (instance ?D Decreasing) (subProcess ?D ?C) (patient ?D ?PH) (holdsDuring (BeginFn (WhenFn ?D)) (and (equal ?PH ?H) (approximateValue ?H 6.5))) (holdsDuring (EndFn (WhenFn ?D)) (and (equal ?PH ?L) (approximateValue ?L 4.5)))))) |
Food.kif 3256-3279 | If X is an instance of curdling milk, Y is an instance of milk, and Y is a patient of X, then there exist Z, W,, , V and U such that the measure of Y is Z PH value(s) and W is an instance of decreasing and W is a subprocess of X and Z is a patient of W and equal Z and V and the approximate value of V is 6.5 holds during the beginning of the time of existence of W and equal Z and U and the approximate value of U is 4.5 holds during the end of the time of existence of W |
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5.0)))) |
Geography.kif 3945-3953 | If X is an instance of acid rainfall, then there exist Y and Z such that Y is an instance of water and Y is a patient of X and the measure of Y is Z PH value(s) and Z is less than 5.0 |
|