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
O argumento numero 1 de
PainFn
e' uma
instancia
de
Parte do Corpo
(
instance
PainFn
UnaryFunction
)
Mid-level-ontology.kif 6346-6346
PainFn
e' uma
instancia
de
funcao Unaria
(
rangeSubclass
PainFn
Pain
)
Mid-level-ontology.kif 6350-6350
Os valores retornados por
PainFn
sao as
sub
-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
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
PainFn
Parte do Corpo
Parte do Corpo
ART
Parte do Corpo
ART e' uma &parte de
Processo
Parte do Corpo
ART e'
situado
em
Parte do Corpo
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
e' uma
instancia
de
LocalAnesthetizing
Processo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
patient
de
Processo
PainFn
Objeto
e' um
atributo
de
Objeto
vale
durante
tempo
de existencia de
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
Transferencia
e' uma
instancia
de
Injecting
Objeto
e' uma
instancia
de
Adalimumab
objectTransferred
Transferencia
and
Objeto
Transferencia
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Transferencia
termina
em
Entidade
o argumento
Entidade
PainFn
Objeto
e' um
atributo
de
Entidade
vale
durante
Entidade
Entidade
acontece
durante
apos
tempo
de existencia de
Transferencia
tem a
forca
modal
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
Fisico
e' uma
instancia
de
Ivabradine
Fisico
tem por
fim
Entidade
Fisico
N and
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
PainFn
Chest
Entidade
experimenta
Entidade
Fisico
N e' uma
instancia
de
Ingerir
Fisico
N e' um
agente
de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Fisico
N
Entidade
2
Entidade
2 e' uma
instancia
de
PainFn
Chest
Entidade
experimenta
Entidade
2
tempo
de existencia de
Fisico
N acontence
antes
de
tempo
de existencia de
Entidade
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
e' uma
sub
-classe de
PainFn
BodyJoint
(
subclass
ChestPain
(
PainFn
Chest
))
Medicine.kif 2016-2016
ChestPain
e' uma
sub
-classe de
PainFn
Chest
(
subclass
Headache
(
PainFn
Head
))
Mid-level-ontology.kif 19332-19332
Headache
e' uma
sub
-classe de
PainFn
Head
(
subclass
JointPain
(
PainFn
BodyJoint
))
Medicine.kif 2011-2011
JointPain
e' uma
sub
-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