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 数量 是
身体部位
的
instance
(
instance
PainFn
UnaryFunction
)
Mid-level-ontology.kif 6341-6341
PainFn
是
一元函数
的
instance
(
rangeSubclass
PainFn
Pain
)
Mid-level-ontology.kif 6345-6345
PainFn
的所得值 是
痛
的
subclass
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
如果
施事体
经历了
过程
和
那个 施事体
是
PainFn
身体部位
的
instance
,
然后 有存在
那个 身体部位
ART 这样
那个 身体部位
ART 是
那个 过程
的
part
和
那个 身体部位
ART 是
located
在
那个 身体部位
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
如果
过程
是
LocalAnesthetizing
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
身体部位
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
那个 过程
的
patient
,
然后
PainFn
那个 客体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
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
如果
转移
是
注射
的
instance
和
客体
是
Adalimumab
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 转移
是
located
在
另一个 客体
和
那个 另外 客体
是
身体部位
的
instance
和
那个 转移
在
实体
结束,
然后 有存在
另一个 实体
这样
PainFn
那个 另外 客体
是
那个 实体
的
attribute
在
那个 另外 实体
holdsDuring
和
那个 另外 实体
在
那个 转移
出现 的
time
之后 时段内发生 的声明 has
容易
的语气
(=>
(
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
如果
物理
是
Ivabradine
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
那个 物理
N, and 和
第三 实体
这样
那个 实体
是
人类
的
instance
和
那个 第三 实体
是
PainFn
Chest
的
instance
和
那个 实体
经历了
那个 第三 实体
和
那个 物理
N 是
消化
的
instance
和
那个 实体
是
那个 物理
N 的
agent
和
那个 第三 实体
出现 的
time
比
那个 物理
N 出现 的
time
发生的
earlier
和 不存在
那个 第三 实体
2 这样
那个 第三 实体
2 是
PainFn
Chest
的
instance
和
那个 实体
经历了
那个 第三 实体
2 和
那个 物理
N 出现 的
time
比
那个 第三 实体
2 出现 的
time
发生的
earlier
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
是
PainFn
身体关节
的
subclass
(
subclass
ChestPain
(
PainFn
Chest
))
Medicine.kif 2016-2016
ChestPain
是
PainFn
Chest
的
subclass
(
subclass
Headache
(
PainFn
Head
))
Mid-level-ontology.kif 19360-19360
头痛
是
PainFn
头
的
subclass
(
subclass
JointPain
(
PainFn
BodyJoint
))
Medicine.kif 2011-2011
JointPain
是
PainFn
身体关节
的
subclass
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