Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 24832487
(
instance
PHValue
NonCompositeUnitOfMeasure
)
Geography.kif 24822482
PH value
is an
instance
of
NonCompositeUnitOfMeasure
appearance as argument number 2
(
names
"pH"
PHValue
)
Geography.kif 24802480
PH value
has
name
"pH"
(
termFormat
ChineseLanguage
PHValue
"酸碱度")
domainEnglishFormat.kif 4563745637
"酸碱度" is the
printable
form
of
PH value
in
ChineseLanguage
(
termFormat
ChineseTraditionalLanguage
PHValue
"酸鹼度")
domainEnglishFormat.kif 4563645636
"酸鹼度" is the
printable
form
of
PH value
in
ChineseTraditionalLanguage
(
termFormat
EnglishLanguage
PHValue
"PH value")
domainEnglishFormat.kif 4563545635
"PH value" is the
printable
form
of
PH value
in
english language
antecedent
(<=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
potentialOfHydrogen
?SOLUTION ?PH))
Geography.kif 24892492
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 25022508
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 24982500
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 24942496
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 24502458
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners