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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6347-6348
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6349-6349
PainFn
的 1 数量 是
身体部位
的
instance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6346-6346
PainFn
是
一元函数
的
instance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6350-6350
PainFn
的所得值 是
痛
的
subclass
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6352-6352
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6351-6351
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6356-6363
如果
施事体
经历了
过程
和
那个 施事体
是
PainFn
身体部位
的
instance
,
然后 有存在
那个 身体部位
ART 这样
那个 身体部位
ART 是
那个 过程
的
part
和
那个 身体部位
ART 是
located
在
那个 身体部位
consequent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1008-1019
如果
过程
是
LocalAnesthetizing
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
身体部位
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
那个 过程
的
patient
,
然后
PainFn
那个 客体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3628-3644
如果
转移
是
注射
的
instance
和
客体
是
Adalimumab
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 转移
是
located
在
另一个 客体
和
那个 另外 客体
是
身体部位
的
instance
和
那个 转移
在
实体
结束,
然后 有存在
另一个 实体
这样
PainFn
那个 另外 客体
是
那个 实体
的
attribute
在
那个 另外 实体
holdsDuring
和
那个 另外 实体
在
那个 转移
出现 的
time
之后 时段内发生 的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3714-3714
pathologicSideEffect
Cetirizine
and
PainFn
Abdomen
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4286-4286
PainFn
Abdomen
是服用
Cetirizine
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2218-2218
Arthritis
是
PainFn
身体关节
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2016-2016
ChestPain
是
PainFn
Chest
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19332-19332
头痛
是
PainFn
头
的
subclass
No TPTP formula. May not be expressible in strict first order.
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