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
PainFn
Sigma KEE - PainFn
PainFn
appearance as argument number 1
(
documentation
PainFn
EnglishLanguage
"A
Function
that returns that class of
Pain
affecting a particular
BodyPart
of an
Animal
.")
Mid-level-ontology.kif 6348-6349
(
domain
PainFn
1
BodyPart
)
Mid-level-ontology.kif 6350-6350
The number 1 argument of
pain
is an
instance
of
body part
(
instance
PainFn
UnaryFunction
)
Mid-level-ontology.kif 6347-6347
Pain
is an
instance
of
unary function
(
rangeSubclass
PainFn
Pain
)
Mid-level-ontology.kif 6351-6351
The values returned by
pain
are
subclasses
of
pain
appearance as argument number 2
(
format
EnglishLanguage
PainFn
"pain in the %1")
Mid-level-ontology.kif 6353-6353
(
termFormat
EnglishLanguage
PainFn
"pain")
Mid-level-ontology.kif 6352-6352
antecedent
(=>
(
and
(
experiencer
?ORGANISM ?PAIN)
(
instance
?PAIN
(
PainFn
?P)))
(
exists
(?PART)
(
and
(
part
?PART ?ORGANISM)
(
located
?PART ?P))))
Mid-level-ontology.kif 6357-6364
If
an agent
experience
s
a process
and
the agent
is an
instance
of
pain
in the
a body part
,
then there exists
the body part
ART such that
the body part
ART is a
part
of
the process
and
the body part
ART is
located
at
the body part
consequent
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
If
a process
is an
instance
of
local anesthetizing
and
the process
is
located
at
an object
and
the object
is an
instance
of
body part
and
the object
is a
part
of
another object
and
the other object
is a
patient
of
the process
,
then
pain
in the
the object
is not an
attribute
of
the other object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
If
a transfer
is an
instance
of
injecting
and
an object
is an
instance
of
adalimumab
and the object transferred in
the transfer
is
the object
and
the transfer
is
located
at
another object
and
the other object
is an
instance
of
body part
and
the transfer
end
s up at
an entity
,
then the statement there exists
another entity
such that
pain
in the
the other object
is an
attribute
of
the entity
holds
during
the other entity
and
the other entity
takes place
during
after
the
time
of existence of
the transfer
has the
modal
force
of
likely
(=>
(
instance
?I
Ivabradine
)
(
hasPurpose
?I
(
exists
(?H ?IN ?P)
(
and
(
instance
?H
Human
)
(
instance
?P
(
PainFn
Chest
))
(
experiencer
?P ?H)
(
instance
?IN
Ingesting
)
(
agent
?IN ?H)
(
earlier
(
WhenFn
?P)
(
WhenFn
?IN))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
(
PainFn
Chest
))
(
experiencer
?P2 ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?P2)))))))))
Medicine.kif 4891-4911
If
a physical
is an
instance
of
ivabradine
,
then
the physical
has the purpose there exist
an entity
,
the physical
N and
a third entity
such that
the entity
is an
instance
of
human
and
the third entity
is an
instance
of
pain
in the
chest
and
the entity
experience
s
the third entity
and
the physical
N is an
instance
of
ingesting
and
the entity
is an
agent
of
the physical
N and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the physical
N and there doesn't exist
the third entity
2 such that
the third entity
2 is an
instance
of
pain
in the
chest
and
the entity
experience
s
the third entity
2 and the
time
of existence of
the physical
N happens
earlier
than the
time
of existence of
the third entity
2
statement
(
pathologicSideEffect
Cetirizine
(
PainFn
Abdomen
))
Medicine.kif 3714-3714
pathologic side effect
cetirizine
and
pain
in the
abdomen
(
sideEffect
Cetirizine
(
PainFn
Abdomen
))
Medicine.kif 4286-4286
Pain
in the
abdomen
is a
side
effect
of taking
cetirizine
(
subclass
Arthritis
(
PainFn
BodyJoint
))
Medicine.kif 2218-2218
Arthritis
is a
subclass
of
pain
in the
body joint
(
subclass
ChestPain
(
PainFn
Chest
))
Medicine.kif 2016-2016
Chest pain
is a
subclass
of
pain
in the
chest
(
subclass
Headache
(
PainFn
Head
))
Mid-level-ontology.kif 19333-19333
Headache
is a
subclass
of
pain
in the
head
(
subclass
JointPain
(
PainFn
BodyJoint
))
Medicine.kif 2011-2011
Joint pain
is a
subclass
of
pain
in the
body joint
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