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
experiencer
Sigma KEE - experiencer
experiencer
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1872-1874
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2462-2466
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 496-498
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2458-2458
经历者
的 1 数量 是
过程
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2459-2459
经历者
的 2 数量 是
施事体
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2456-2456
经历者
是
格角色
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2457-2457
经历者
是
部分值关系
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2460-2460
经历者
是
参与活动
的
subrelation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.
english_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.
french_format.kif 74-74
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 102-102
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1900-1900
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 26-26
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 82-82
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 118-118
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 142-142
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 93-93
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 73-73
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 215-215
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13083-13083
出席
是
经历者
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23446-23446
失去操控权
是
经历者
的
subrelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22890-22890
受服务者
是
经历者
的
subrelation
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22804-22804
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 104-104
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22803-22803
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22802-22802
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 34-34
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 216-216
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6357-6364
如果
施事体
经历了
过程
和
那个 施事体
是
PainFn
身体部位
的
instance
,
然后 有存在
那个 身体部位
ART 这样
那个 身体部位
ART 是
那个 过程
的
part
和
那个 身体部位
ART 是
located
在
那个 身体部位
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 841-862
如果
有点 物理
是
free
对于顾客出租
有点 HotelFunctionRoom
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后
那个 客体
是 对于
那个 施事体
的
price
0
美国美元
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 546-561
如果
有点 物理
的使用是对于
施事体
免费 和
过程
是
有点 物理
的
instance
和
那个 施事体
是
有认知的主事
的
customer
和
那个 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
或
那个 有认知的主事
经历了
那个 过程
或
那个 施事体
possesses
那个 过程
和
那个 过程
是
客体
的
instance
和
那个 有认知的主事
uses
那个 过程
,
然后
那个 过程
是 对于
那个 施事体
的
price
0
美国美元
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6470-6482
如果
AVPUPainStatus
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
痛
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
身体运动
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
causes
那个 另外 过程
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18203-18209
如果
胚胎
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
出生
的
instance
和
另一个 时距
equal
那个 过程
出现 的
time
和
那个 施事体
经历了
那个 过程
,
然后
那个 另外 时距
时段 doesn't 和
那个 时距
重叠
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18181-18187
如果
幼虫
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
出生
的
instance
和
另一个 时距
equal
那个 过程
出现 的
time
和
那个 施事体
经历了
那个 过程
,
然后
那个 另外 时距
接着
那个 时距
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17193-17203
如果
过程
是
加速
的
instance
和
时距
equal
那个 过程
出现 的
time
和
施事体
经历了
那个 过程
,
然后 不存在
另一个 过程
这样
那个 另外 过程
是
减速
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 时距
equal
那个 另外 过程
出现 的
time
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1545-1555
如果
过程
是
Anaphylaxis
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
死亡
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 过程
causes
那个 实体
的声明 has
可能性
的语气
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6304-6313
如果
过程
是
Asphyxiation
的
instance
和
施事体
经历了
那个 过程
,
然后 不存在
实体
这样
那个 实体
是
呼吸
的
instance
和
那个 过程
经历了
那个 实体
在
那个 过程
出现 的
time
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2230-2239
如果
过程
是
RheumatoidArthritis
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
JointPain
的
instance
和
那个 过程
causes
那个 实体
的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2200-2216
如果
过程
是
AutoImmuneDisorder
的
instance
和
有认知的主事
经历了
那个 过程
,
然后 有存在
客体
,
另一个 过程
, and 和
另一个 客体
这样
那个 客体
是
抗体
的
instance
和
那个 客体
是
那个 有认知的主事
的
part
和
那个 另外 客体
是
细胞
的
instance
和
那个 另外 客体
是
那个 有认知的主事
的
part
和
那个 另外 过程
是
摧毁
的
instance
和
那个 客体
是导致
那个 另外 过程
的
instrument
和
那个 有认知的主事
doesn't
desires
那个 另外 过程
是
摧毁
的
instance
和
那个 客体
是导致
那个 另外 过程
的
instrument
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16343-16353
如果
过程
是
变得醉了
的
instance
和
施事体
经历了
那个 过程
,
然后
清醒
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
醉
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 80-94
如果
过程
是
流血的
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
客体
和
另一个 过程
这样
那个 客体
是
静脉
的
instance
或
那个 客体
是
动脉
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 另外 过程
是
损坏
的
instance
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
和
那个 客体
是
那个 另外 过程
的
patient
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 44-59
如果
过程
是
流血的
的
instance
和
实体
是
死亡
的
instance
和
公式
是
人类
的
instance
和
施事体
是
人类
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 公式
在
那个 施事体
的
近
和
那个 过程
causes
那个 实体
的声明 has
容易
的语气,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
连接
的
instance
和
那个 公式
是
那个 另外 实体
的
agent
和
那个 另外 实体
在
那个 施事体
结束 有义务执行
那个 公式
的任务
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21474-21489
如果
过程
是
脸红
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
时距
,
另一个 时距
,, ,
实体
, and 和
另一个 实体
这样
那个 实体
是
情绪状态
的
instance
和
那个 另外 实体
是
情绪状态
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
那个 实体
是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
attribute
在
那个 另外 时距
holdsDuring
和
那个 过程
出现 的
time
starts
了才到
那个 另外 时距
和
那个 过程
出现 的
time
finishes
了才到
那个 时距
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16363-16373
如果
过程
是
清醒来
的
instance
和
施事体
经历了
那个 过程
,
然后
醉
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
清醒
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3179-3194
如果
转移
是
BreakthroughInfection
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
那个 客体
C 的
instance
和
施事体
经历了
那个 转移
,
然后 有存在
那个 客体
AX 这样
那个 客体
AX 是
Vaccination
的
instance
和
那个 施事体
经历了
那个 客体
AX 和
vaccine
那个 客体
ACCINECLASS and
那个 客体
C 和
那个 客体
ACCINE 是
那个 客体
ACCINECLASS 的
instance
和
objectTransferred
那个 客体
AX and
那个 客体
ACCINE 和
那个 客体
AX 出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10197-10204
如果
过程
是
出生
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 另外 过程
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21395-21403
如果
过程
是
流血的
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
血液
的
instance
和
那个 实体
是
那个 施事体
的
part
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
那个 施事体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21389-21393
如果
过程
是
流血的
的
instance
和
施事体
经历了
那个 过程
,
然后
那个 施事体
是
动物
的
instance
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1886-1892
如果
过程
是
Chills
的
instance
和
施事体
经历了
那个 过程
,
然后
FeelingCold
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11771-11779
如果
过程
是
Choking
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
那个 过程
O 这样
那个 过程
O 是
Coughing
的
instance
和
那个 过程
O%n是
那个 过程
的
subProcess
和
那个 施事体
经历了
那个 过程
O
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11754-11769
如果
过程
是
Choking
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
,
客体
, and 和
另一个 客体
这样
那个 实体
是
客体
的
instance
和
那个 客体
是
Trachea
的
instance
和
那个 另外 客体
是
肺
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 实体
是
located
在
那个 客体
或
那个 实体
是
located
在
那个 另外 客体
在
那个 过程
出现 的
time
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6043-6054
如果
过程
是
Coughing
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
和
第三 过程
这样
那个 另外 过程
是
吸入
的
instance
和
那个 第三 过程
是
呼气
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
和
那个 施事体
经历了
那个 另外 过程
和
那个 施事体
经历了
那个 第三 过程
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6056-6075
如果
过程
是
Coughing
的
instance
和
施事体
经历了
那个 过程
,
然后
那个 过程
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
肺
的
instance
和
那个 第四 实体
是
喉
的
instance
和
那个 第三 实体
是
客体
的
instance
和
那个 实体
是
移除
的
instance
和
那个 另外 实体
是
那个 施事体
的
part
和
那个 第四 实体
是
那个 施事体
的
part
和
objectTransferred
那个 实体
and
那个 第三 实体
和
那个 第三 实体
是
located
在
那个 第四 实体
或
那个 第三 实体
是
located
在
那个 另外 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
People.kif 357-390
年
是
那个 年
EAR
year
的
instance
和
地缘政治区域
和
那个 年
的
male
出生估计寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
No TPTP formula. May not be expressible in strict first order.
People.kif 82-97
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千的
births
equal
实数
若且唯若
那个 地缘政治区域
的
population
和 1000
equal
另一个 实数
和
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和
那个 另外 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
People.kif 118-133
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千里的
deaths
equal
实数
若且唯若
那个 地缘政治区域
的
population
和 1000
equal
另一个 实数
和
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和
那个 另外 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
People.kif 238-264
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千个生存出生里的
deaths
equal
实数
若且唯若
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和 1000
equal
另一个 实数
和
第三 整数
equal
另一个 符号串
所描述的类别
instance
的数量 和
那个 第三 整数
和
那个 另外 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
People.kif 403-436
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的
female
出生预期寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
No TPTP formula. May not be expressible in strict first order.
People.kif 310-342
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的出生预期
life
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6231-6244
如果
allergic
人类
and
有点 物质
和
有点 物质
UB 是
那个 有点 物质
的
instance
和
那个 有点 物质
UB 接上
那个 人类
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
AllergicReaction
的
instance
和
那个 人类
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
时段 和
那个 时间位置
重叠 和
那个 时间位置
的开始%n在
那个 另外 实体
出现 的
time
的开始
before
发生 的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 504-520
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
有
有点 物理
和
有点 物理
是
客体
的
subclass
和
实体
是
那个 有点 物理
的
instance
,
然后
那个 施事体
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 实体
是
那个 另外 实体
的
resource
或
那个 实体
是导致
那个 另外 实体
的
instrument
或
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
或
那个 有认知的主事
经历了
那个 另外 实体
的任务
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 811-832
如果
有点 物理
的使用对于
有点 HotelFunctionRoom
是免费 和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
在
另一个 实体
结束 和
有点 物理
是
客体
的
subclass
,
然后 有存在
第三 实体
和
第四 实体
这样
那个 第三 实体
是
那个 有点 物理
的
instance
和
那个 第四 实体
是
过程
的
instance
和
那个 第三 实体
是
那个 第四 实体
的
resource
或
那个 第三 实体
是导致
那个 第四 实体
的
instrument
或
那个 第三 实体
是
那个 第四 实体
的
patient
和
那个 另外 实体
是
那个 第四 实体
的
agent
或
那个 另外 实体
经历了
那个 第四 实体
的声明 has
可能性
的语气
No TPTP formula. May not be expressible in strict first order.
emotion.kif 161-172
如果
情绪状态
是
实体
的
attribute
在
时间位置
holdsDuring
和
actionTendency
那个 情绪状态
and
有点 EmotionalBehavioralProcess
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
有点 EmotionalBehavioralProcess
的
instance
和
那个 另外 实体
出现 的
time
在
那个 时间位置
时段内发生 和
那个 实体
经历了
那个 另外 实体
的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6470-6482
如果
AVPUPainStatus
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
痛
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
身体运动
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
causes
那个 另外 过程
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23889-23903
如果
Menopausal
是
施事体
的
attribute
在
时距
holdsDuring
和
实数
equal
(1
年持续时间
和
那个 时距
的开始) 和
另一个 时距
equal
那个 另外 时距
和
那个 时距
的开始 间的时段,
然后 不存在
过程
这样
那个 过程
是
经期
的
instance
和
那个 施事体
经历了
那个 过程
No TPTP formula. May not be expressible in strict first order.
MilitaryPersons.kif 120-131
如果
撤离者
是
施事体
的
attribute
在
时距
holdsDuring
和
那个 时距
是
时距
的
instance
,
然后 有存在
过程
和
另一个 施事体
这样
那个 过程
是
疏散
的
instance
和
那个 另外 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
军事组织
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 过程
出现 的
time
比
那个 时距
发生的
earlier
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17193-17203
如果
过程
是
加速
的
instance
和
时距
equal
那个 过程
出现 的
time
和
施事体
经历了
那个 过程
,
然后 不存在
另一个 过程
这样
那个 另外 过程
是
减速
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 时距
equal
那个 另外 过程
出现 的
time
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1545-1555
如果
过程
是
Anaphylaxis
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
死亡
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 过程
causes
那个 实体
的声明 has
可能性
的语气
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1619-1630
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
维护
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1632-1644
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 不存在
实体
这样
那个 实体
是
损坏
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6304-6313
如果
过程
是
Asphyxiation
的
instance
和
施事体
经历了
那个 过程
,
然后 不存在
实体
这样
那个 实体
是
呼吸
的
instance
和
那个 过程
经历了
那个 实体
在
那个 过程
出现 的
time
holdsDuring
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1945-1958
如果
过程
是
AngryVoiceUtterance
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 过程
是
AngryVoiceUtterance
的
instance
和
那个 施事体
是
那个 过程
的
agent
是 有存在
那个 施事体
NG 这样
那个 施事体
NG 是
愤怒
的
instance
和
那个 施事体
经历了
那个 施事体
NG 的
causes
提议 的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16200-16212
如果
实体
是
法律奖励
的
instance
和
那个 实体
提到
过程
和
那个 过程
是
法律诉讼
的
instance
和
有认知的主事
是
那个 过程
的
agent
,
然后
那个 实体
允许
那个 有认知的主事
执行 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
获得
的
instance
和
那个 有认知的主事
经历了
那个 另外 实体
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
的价值 是
那个 第四 实体
的任务
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18679-18695
如果
转移
是
遗赠
的
instance
和
施事体
是
那个 转移
的
agent
和
那个 转移
在
实体
结束 和
objectTransferred
那个 转移
and
那个 施事体
ROP,
然后 有存在
过程
这样
那个 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 过程
出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
和
那个 施事体
possesses
那个 施事体
ROP 在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 施事体
confers
规范
那个 实体
possesses
那个 施事体
ROP 对于
允许
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3179-3194
如果
转移
是
BreakthroughInfection
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
那个 客体
C 的
instance
和
施事体
经历了
那个 转移
,
然后 有存在
那个 客体
AX 这样
那个 客体
AX 是
Vaccination
的
instance
和
那个 施事体
经历了
那个 客体
AX 和
vaccine
那个 客体
ACCINECLASS and
那个 客体
C 和
那个 客体
ACCINE 是
那个 客体
ACCINECLASS 的
instance
和
objectTransferred
那个 客体
AX and
那个 客体
ACCINE 和
那个 客体
AX 出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10197-10204
如果
过程
是
出生
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 另外 过程
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11771-11779
如果
过程
是
Choking
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
那个 过程
O 这样
那个 过程
O 是
Coughing
的
instance
和
那个 过程
O%n是
那个 过程
的
subProcess
和
那个 施事体
经历了
那个 过程
O
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6043-6054
如果
过程
是
Coughing
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
和
第三 过程
这样
那个 另外 过程
是
吸入
的
instance
和
那个 第三 过程
是
呼气
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
和
那个 施事体
经历了
那个 另外 过程
和
那个 施事体
经历了
那个 第三 过程
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
People.kif 456-469
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每个女人生的
children
equal
符号串
所描述的类别
instance
的数量
No TPTP formula. May not be expressible in strict first order.
WMD.kif 921-929
?SYMPTOM 是 ?AGENT 的
biochemical
病毒征兆 和 ?AGENT
biochemical
病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的
instance
和 ?THERAPY 是 ?PROCESS 的
instance
和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的
patient
减少 ?SYMPTOM 是 ?ORGANISM 的
attribute
发生的机率
No TPTP formula. May not be expressible in strict first order.
WMD.kif 767-773
?SYMPTOM 是 ?AGENT 的
biochemical
病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的
biochemical
病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的
instance
和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的
attribute
发生的机率
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