PHValue - Sigma Knowledge base Browser

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 45628-45628
(termFormat ChineseTraditionalLanguage PHValue "酸鹼度")	domainEnglishFormat.kif 45627-45627
(termFormat EnglishLanguage PHValue "PH value")	domainEnglishFormat.kif 45626-45626

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	If a process is an instance of process and an object is a patient of the process and the object is an instance of water and the measure of the object is a real number PH value(s), then the real number is less than 5.6
(=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (greaterThanOrEqualTo ?PH 0))	Geography.kif 2498-2500	If the measure of an object is a real number PH value(s), then the real number is greater than or equal to 0
(=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (lessThanOrEqualTo ?PH 14))	Geography.kif 2494-2496	If the measure of an object is a real number PH value(s), then the real number is less than or equal to 14

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

If a process is an instance of acid rainfall,
then there exist an object and a real number such that the object is an instance of water and the object is a patient of the process and the measure of the object is the real number PH value(s) and the real number is less than 5

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

KB Term:			Term intersection

English Word: