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
Il numero 1 argomenti di
PainFn
è un
istanza
di
ParteDelCorpo
(
instance
PainFn
UnaryFunction
)
Mid-level-ontology.kif 6347-6347
PainFn
è un'
istanza
di
FunzioneUnaria
(
rangeSubclass
PainFn
Pain
)
Mid-level-ontology.kif 6351-6351
I valori resi da
PainFn
sono
sottoclassi
di
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
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
PainFn
ParteDelCorpo
ParteDelCorpo
ART
ParteDelCorpo
ART è una
parte
di
Processo
ParteDelCorpo
ART è
localizzato
in
ParteDelCorpo
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
Processo
è un'
istanza
di
LocalAnesthetizing
Processo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
Oggetto
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
PainFn
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
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
Trasferimento
è un'
istanza
di
Injecting
Oggetto
è un'
istanza
di
Adalimumab
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Trasferimento
fine
s in
Entit�
l'affermazione
Entit�
attribute
Entit�
and
PainFn
Oggetto
vales
durante
Entit�
Entit�
has luogo
durante
dopo
il
tempo
di esistenza di
Trasferimento
ha il modello di forza di
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
Entit�Concreta
è un'
istanza
di
Ivabradine
Entit�Concreta
ha
scopo
Entit�
Entit�Concreta
N and
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
PainFn
Chest
Entit�
esperisce
s
Entit�
Entit�Concreta
N è un'
istanza
di
Ingestione
Entit�Concreta
N è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
N
Entit�
2
Entit�
2 è un'
istanza
di
PainFn
Chest
Entit�
esperisce
s
Entit�
2 il
tempo
di esistenza di
Entit�Concreta
N accades
prima
di il
tempo
di esistenza di
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
è una
sottoclasse
di
PainFn
BodyJoint
(
subclass
ChestPain
(
PainFn
Chest
))
Medicine.kif 2016-2016
ChestPain
è una
sottoclasse
di
PainFn
Chest
(
subclass
Headache
(
PainFn
Head
))
Mid-level-ontology.kif 19333-19333
Headache
è una
sottoclasse
di
PainFn
Head
(
subclass
JointPain
(
PainFn
BodyJoint
))
Medicine.kif 2011-2011
JointPain
è una
sottoclasse
di
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