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 6342-6343
(
domain
PainFn
1
BodyPart
)
Mid-level-ontology.kif 6344-6344
域
PainFn
, 1 and
BodyPart
(
instance
PainFn
UnaryFunction
)
Mid-level-ontology.kif 6341-6341
例
PainFn
and
UnaryFunction
(
rangeSubclass
PainFn
Pain
)
Mid-level-ontology.kif 6345-6345
範圍子類
PainFn
and
痛
appearance as argument number 2
(
format
EnglishLanguage
PainFn
"pain in the %1")
Mid-level-ontology.kif 6347-6347
(
termFormat
EnglishLanguage
PainFn
"pain")
Mid-level-ontology.kif 6346-6346
antecedent
(=>
(
and
(
experiencer
?ORGANISM ?PAIN)
(
instance
?PAIN
(
PainFn
?P)))
(
exists
(?PART)
(
and
(
part
?PART ?ORGANISM)
(
located
?PART ?P))))
Mid-level-ontology.kif 6351-6358
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
PainFn
BodyPart
BodyPart
ART
部分
BodyPart
ART and
Process
位於
BodyPart
ART and
BodyPart
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
例
Process
and
LocalAnesthetizing
位於
Process
and
Object
例
Object
and
BodyPart
部分
Object
and
Object
患者
Process
and
Object
持有期間
何時
Process
and
attribute
Object
and
PainFn
Object
(=>
(
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
例
Transfer
and
注射
例
Object
and
Adalimumab
objectTransferred
Transfer
and
Object
位於
Transfer
and
Object
例
Object
and
BodyPart
目的地
Transfer
and
Entity
模態屬性
entity
持有期間
entity
and
attribute
Entity
and
PainFn
Object
期間
entity
and
未來
何時
Transfer
and
容易
(=>
(
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
例
Physical
and
Ivabradine
有目的
Physical
and
entity
Physical
N and
entity
例
entity
and
Human
例
entity
and
PainFn
Chest
體驗者
entity
and
entity
例
Physical
N and
Ingesting
agent
Physical
N and
entity
早期
何時
entity
and
何時
Physical
N
entity
例
entity
and
PainFn
Chest
體驗者
entity
and
entity
早期
何時
Physical
N and
何時
entity
statement
(
pathologicSideEffect
Cetirizine
(
PainFn
Abdomen
))
Medicine.kif 3714-3714
pathologicSideEffect
Cetirizine
and
PainFn
Abdomen
(
sideEffect
Cetirizine
(
PainFn
Abdomen
))
Medicine.kif 4286-4286
PainFn
Abdomen
是服用
Cetirizine
的
side
effect
(
subclass
Arthritis
(
PainFn
BodyJoint
))
Medicine.kif 2218-2218
子類
Arthritis
and
PainFn
身體關節
(
subclass
ChestPain
(
PainFn
Chest
))
Medicine.kif 2016-2016
子類
ChestPain
and
PainFn
Chest
(
subclass
Headache
(
PainFn
Head
))
Mid-level-ontology.kif 19360-19360
子類
頭痛
and
PainFn
頭
(
subclass
JointPain
(
PainFn
BodyJoint
))
Medicine.kif 2011-2011
子類
JointPain
and
PainFn
身體關節
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