Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
phMeasure
Sigma KEE - phMeasure
phMeasure
appearance as argument number 1
(
domain
phMeasure
1
Object
)
Mid-level-ontology.kif 9892-9892
The number 1 argument of
pH measure
is an
instance
of
object
(
domain
phMeasure
2
AcidityMeasure
)
Mid-level-ontology.kif 9893-9893
The number 2 argument of
pH measure
is an
instance
of
acidity measure
(
instance
phMeasure
BinaryPredicate
)
Mid-level-ontology.kif 9890-9890
pH measure
is an
instance
of
binary predicate
(
subrelation
phMeasure
measure
)
Mid-level-ontology.kif 9891-9891
pH measure
is a
subrelation
of
measure
appearance as argument number 2
(
termFormat
EnglishLanguage
phMeasure
"pH measure")
domainEnglishFormat.kif 65899-65899
antecedent
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9866-9888
If
an object
is an
instance
of
antacid
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
another object
is an
instance
of
stomach
and
the other object
is a
part
of
the agent
and
the other object
contain
s
a third object
and
the third object
is an
instance
of
fluid
holds
during
immediately
before
the
time
of existence of
the motion
and
the other object
contain
s
a fourth object
and
the fourth object
is an
instance
of
fluid
holds
during
immediately
after
the
time
of existence of
the motion
and
pH measure
the third object
and
a real number
and
pH measure
the fourth object
and
another real number
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9927-9949
If
an object
is an
instance
of
PPI
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
another object
is an
instance
of
stomach
and
the other object
is a
part
of
the agent
and
the other object
contain
s
a third object
and
the third object
is an
instance
of
fluid
holds
during
immediately
before
the
time
of existence of
the motion
and
the other object
contain
s
a fourth object
and
the fourth object
is an
instance
of
fluid
holds
during
immediately
after
the
time
of existence of
the motion
and
pH measure
the third object
and
a real number
and
pH measure
the fourth object
and
another real number
,
then
the other real number
is
greater
than
the real number
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