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
Die Zahl 1 Argument von
PainFn
ist ein
fall
von
BodyPart
%n{nicht}
(
instance
PainFn
UnaryFunction
)
Mid-level-ontology.kif 6347-6347
PainFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
PainFn
Pain
)
Mid-level-ontology.kif 6351-6351
Die werte die
PainFn
zurueckgibt sind
teilkategorien
von
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
Wenn
AutonomousAgent
erfaehrt
Process
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
PainFn
BodyPart
%n{nicht},
dann es gibt
** BodyPart
ART um
** BodyPart
ART ist ein
teil
von
** Process
%n{nicht} und
** BodyPart
ART
befindet
sich an %n{nicht}
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
Wenn
Process
ist ein
fall
von
LocalAnesthetizing
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
BodyPart
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht},
dann
PainFn
** Object
ist ein
attribut
von
** ** Object
nicht haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Transfer
ist ein
fall
von
Injecting
%n{nicht} und
Object
ist ein
fall
von
Adalimumab
%n{nicht} und
objectTransferred
** Transfer
and
** Object
und
** Transfer
befindet
sich an %n{nicht} und
** Object
ist ein
fall
von
BodyPart
%n{nicht} und
** Transfer
endet an
Entity
%n{nicht},
dann die Aussage es gibt
** entity
um
PainFn
** ** Object
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} und
** ** entity
geschieht
waehrend
nach
die
zeit
des Bestehens von
** Transfer
%n{nicht} hat die modale Kraft von
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
Wenn
Physical
ist ein
fall
von
Ivabradine
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** Physical
N, and und
** entity
um
** entity
ist ein
fall
von
Human
%n{nicht} und
** ** entity
ist ein
fall
von
PainFn
Chest
%n{nicht} und
** entity
erfaehrt
** ** entity
%n{nicht} und
** Physical
N ist ein
fall
von
Ingesting
%n{nicht} und
** Physical
N ist der
agent
von
** entity
%n{nicht} und die
zeit
des Bestehens von
** ** entity
geschieht frueh als die
zeit
des Bestehens von
** Physical
N %n{nicht} und es gibt nicht
** ** entity
2 um
** ** entity
2 ist ein
fall
von
PainFn
Chest
%n{nicht} und
** entity
erfaehrt
** ** entity
2 %n{nicht} und die
zeit
des Bestehens von
** Physical
N geschieht frueh als die
zeit
des Bestehens von
** ** entity
2 %n{nicht} %n{nicht}
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
ist eine
teilkategorie
von
PainFn
BodyJoint
(
subclass
ChestPain
(
PainFn
Chest
))
Medicine.kif 2016-2016
ChestPain
ist eine
teilkategorie
von
PainFn
Chest
(
subclass
Headache
(
PainFn
Head
))
Mid-level-ontology.kif 19333-19333
Headache
ist eine
teilkategorie
von
PainFn
Head
(
subclass
JointPain
(
PainFn
BodyJoint
))
Medicine.kif 2011-2011
JointPain
ist eine
teilkategorie
von
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