TreeView Knowledge Base Browser - PHValue

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - PHValue

PHValue

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 2530-2534
(instance PHValue NonCompositeUnitOfMeasure)	Geography.kif 2529-2529	PHValue ist ein fall von NonCompositeUnitOfMeasure %n{nicht}

appearance as argument number 2

(names "pH" PHValue)	Geography.kif 2527-2527	names "pH" and PHValue
(termFormat ChineseLanguage PHValue "酸碱度")	domainEnglishFormat.kif 45741-45741	names "pH" and PHValue
(termFormat ChineseTraditionalLanguage PHValue "酸鹼度")	domainEnglishFormat.kif 45740-45740	names "pH" and PHValue
(termFormat EnglishLanguage PHValue "PH value")	domainEnglishFormat.kif 45739-45739	names "pH" and PHValue

antecedent

(<=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (potentialOfHydrogen ?SOLUTION ?PH))	Geography.kif 2536-2539	Das mass von Solution ist RealNumber PHValue(s) %n{nicht} genau dann wenn potentialOfHydrogen Solution and RealNumber
(=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6))	Geography.kif 2549-2555	Wenn Process ist ein fall von Process %n{nicht} und Physical ist ein patient von Process %n{nicht} und Physical ist ein fall von Water %n{nicht} und das mass von Physical ist RealNumber PHValue(s) %n{nicht}, dann RealNumber ist kleinerAls 5.6 %n{nicht}
(=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (greaterThanOrEqualTo ?PH 0.0))	Geography.kif 2545-2547	Wenn das mass von Physical ist RealNumber PHValue(s) %n{nicht}, dann ** RealNumber ist groesserAlsOderGleich 0.0 %n{nicht}
(=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (lessThanOrEqualTo ?PH 14.0))	Geography.kif 2541-2543	Wenn das mass von Physical ist RealNumber PHValue(s) %n{nicht}, dann ** RealNumber ist kleinerAlsOderGleich 14.0 %n{nicht}

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)) (equal ?PH ?H) (approximateValue ?H 6.5)) (holdsDuring (EndFn (WhenFn ?D)) (equal ?PH ?L) (approximateValue ?L 4.5)))))	Food.kif 3226-3247	Wenn Process ist ein fall von CurdlingMilk %n{nicht} und Physical ist ein fall von Milk %n{nicht} und Physical ist ein patient von Process %n{nicht}, dann es gibt RealNumber, Process,, , entity, and und entity um das mass von Physical ist RealNumber PHValue(s) %n{nicht} und Process ist ein fall von Decreasing %n{nicht} und Process ist ein subProzess von Process und RealNumber ist ein patient von Process %n{nicht} und RealNumber ist gleich entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und RealNumber ist gleich entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5.0))))	Geography.kif 2497-2505	Wenn Process ist ein fall von AcidRainfall %n{nicht}, dann es gibt Physical und RealNumber um Physical ist ein fall von Water %n{nicht} und Physical ist ein patient von Process %n{nicht} und das mass von Physical ist RealNumber PHValue(s) %n{nicht} und RealNumber ist kleinerAls 5.0 %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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