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 6347-6348
(
domain
PainFn
1
BodyPart
)
Mid-level-ontology.kif 6349-6349
Le nombre 1 argument de
PainFn
est une
instance
de
partie du corps
(
instance
PainFn
UnaryFunction
)
Mid-level-ontology.kif 6346-6346
PainFn
est une
instance
de
function unaire
(
rangeSubclass
PainFn
Pain
)
Mid-level-ontology.kif 6350-6350
Les valeurs retourn�es par
PainFn
sont des
sous
-classes de
Pain
appearance as argument number 2
(
format
EnglishLanguage
PainFn
"pain in the %1")
Mid-level-ontology.kif 6352-6352
(
termFormat
EnglishLanguage
PainFn
"pain")
Mid-level-ontology.kif 6351-6351
antecedent
(=>
(
and
(
experiencer
?ORGANISM ?PAIN)
(
instance
?PAIN
(
PainFn
?P)))
(
exists
(?PART)
(
and
(
part
?PART ?ORGANISM)
(
located
?PART ?P))))
Mid-level-ontology.kif 6356-6363
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
PainFn
partie du corps
partie du corps
ART
partie du corps
ART est une
partie
de
processus
partie du corps
ART est
situ
� �
partie du corps
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
Processus
est une
instance
de
LocalAnesthetizing
processus
est
situ
� �
objet
objet
est une
instance
de
partie du corps
objet
est une
partie
de
objet
objet
est un
patient
de
processus
PainFn
objet
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
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
Transf�re
est une
instance
de
Injecting
objet
est une
instance
de
Adalimumab
objectTransferred
transf�re
and
objet
transf�re
est
situ
� �
objet
objet
est une
instance
de
partie du corps
transf�re
aboutit
�
entit�
l'argument
entit�
PainFn
objet
est un
attribut
de
entit�
pendant
entit�
entit�
prend place
pendant
apr
�s
temps
d'existence de
transf�re
a la
force
modale
de
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
Physique
est une
instance
de
Ivabradine
physique
a pour
but
entit�
physique
N and
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
PainFn
Chest
entit�
exp
�rimente
entit�
physique
N est une
instance
de
ing�rer
physique
N est un
agent
de
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
physique
N
entit�
2
entit�
2 est une
instance
de
PainFn
Chest
entit�
exp
�rimente
entit�
2
temps
d'existence de
physique
N arrive
plus
t�t que
temps
d'existence de
entit�
2
statement
(
pathologicSideEffect
Cetirizine
(
PainFn
Abdomen
))
Medicine.kif 3714-3714
pathologicSideEffect
Cetirizine
and
PainFn
Abdomen
(
sideEffect
Cetirizine
(
PainFn
Abdomen
))
Medicine.kif 4286-4286
sideEffect
Cetirizine
and
PainFn
Abdomen
(
subclass
Arthritis
(
PainFn
BodyJoint
))
Medicine.kif 2218-2218
Arthritis
est une
sous
-classe de
PainFn
BodyJoint
(
subclass
ChestPain
(
PainFn
Chest
))
Medicine.kif 2016-2016
ChestPain
est une
sous
-classe de
PainFn
Chest
(
subclass
Headache
(
PainFn
Head
))
Mid-level-ontology.kif 19332-19332
Headache
est une
sous
-classe de
PainFn
Head
(
subclass
JointPain
(
PainFn
BodyJoint
))
Medicine.kif 2011-2011
JointPain
est une
sous
-classe de
PainFn
BodyJoint
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