Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PHValue
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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners