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
(
documentation
experiencer
ChineseLanguage
"(
experiencer
?PROCESS ?AGENT) 的意思是 ?AGENT 在经历 ?PROCESS 这个
Process
。 例如:在以下'佑舟看见哪尾鱼'这命题,佑舟是看见这过程的
experiencer
。注:
experiencer
不像
agent
,参数之间并不需要含有因果关系。")
chinese_format.kif 1872-1874
(
documentation
experiencer
EnglishLanguage
"(
experiencer
?PROCESS ?AGENT) means that ?AGENT experiences the
Process
?PROCESS. For example, Yojo is the
experiencer
of seeing in the following proposition: Yojo sees the fish. Note that
experiencer
, unlike
agent
, does not entail a causal relation between its arguments.")
Merge.kif 2462-2466
(
documentation
experiencer
JapaneseLanguage
"(
experiencer
?PROCESS ?AGENT) とは、?AGENT
Process
?PROCESS を経験することを意味する。 例:ヨージョは、次の命題で見るの
experiencer
である: ヨジョは魚を見る。
experiencer
は
agent
とは異なり、引数間の因果関係を伴わない。")
japanese_format.kif 496-498
(
domain
experiencer
1
Process
)
Merge.kif 2458-2458
经历者
的 1 数量 是
过程
的
instance
(
domain
experiencer
2
AutonomousAgent
)
Merge.kif 2459-2459
经历者
的 2 数量 是
施事体
的
instance
(
instance
experiencer
CaseRole
)
Merge.kif 2456-2456
经历者
是
格角色
的
instance
(
instance
experiencer
PartialValuedRelation
)
Merge.kif 2457-2457
经历者
是
部分值关系
的
instance
(
subrelation
experiencer
involvedInEvent
)
Merge.kif 2460-2460
经历者
是
参与活动
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
experiencer
"%2 %n{doesn't} 经历了 %1")
chinese_format.kif 103-103
(
format
EnglishLanguage
experiencer
"%2 %n{doesn't} experience%p{s} %1")
english_format.kif 103-103
(
format
FrenchLanguage
experiencer
"%2 %n{n'} exp�rimente %n{pas} %1")
french_format.kif 74-74
(
format
ItalianLanguage
experiencer
"%2 %n{non} esperisce%p{s} %1")
relations-it.txt 102-102
(
format
JapaneseLanguage
experiencer
"%2 が %1 を experience%p{s} %n{ない}")
japanese_format.kif 1900-1900
(
format
PortugueseLanguage
experiencer
"%2 %n{nao} experimenta %n %1")
portuguese_format.kif 26-26
(
format
cz
experiencer
"%2 %n{ne}prod�l�v� %1")
relations-cz.txt 82-82
(
format
de
experiencer
"%2 erfaehrt %1 %n{nicht}")
relations-de.txt 118-118
(
format
hi
experiencer
"%2 %1 kaa anubhava-kartaa %n{nahiin} hai")
relations-hindi.txt 142-142
(
format
ro
experiencer
"%2 %n{nu} experience%t{percepe} %1")
relations-ro.kif 93-93
(
format
sv
experiencer
"%2 upplever %n{inte} %1")
relations-sv.txt 73-73
(
format
tg
experiencer
"%2 %n ay danas %1")
relations-tg.txt 215-215
(
subrelation
attends
experiencer
)
Merge.kif 13105-13105
出席
是
经历者
的
subrelation
(
subrelation
losesControl
experiencer
)
Mid-level-ontology.kif 23445-23445
失去操控权
是
经历者
的
subrelation
(
subrelation
serviceRecipient
experiencer
)
Mid-level-ontology.kif 22889-22889
受服务者
是
经历者
的
subrelation
(
termFormat
ChineseLanguage
experiencer
"体验者")
domainEnglishFormat.kif 22804-22804
(
termFormat
ChineseLanguage
experiencer
"经历者")
chinese_format.kif 104-104
(
termFormat
ChineseTraditionalLanguage
experiencer
"體驗者")
domainEnglishFormat.kif 22803-22803
(
termFormat
EnglishLanguage
experiencer
"experiencer")
domainEnglishFormat.kif 22802-22802
(
termFormat
de
experiencer
"experiencer")
terms-de.txt 34-34
(
termFormat
tg
experiencer
"tagakaranasan")
relations-tg.txt 216-216
antecedent
(=>
(
and
(
experiencer
?ORGANISM ?PAIN)
(
instance
?PAIN
(
PainFn
?P)))
(
exists
(?PART)
(
and
(
part
?PART ?ORGANISM)
(
located
?PART ?P))))
Mid-level-ontology.kif 6356-6363
如果
施事体
经历了
过程
和
那个 施事体
是
PainFn
身体部位
的
instance
,
然后 有存在
那个 身体部位
ART 这样
那个 身体部位
ART 是
那个 过程
的
part
和
那个 身体部位
ART 是
located
在
那个 身体部位
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
如果
有点 物理
是
free
对于顾客出租
有点 HotelFunctionRoom
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后
那个 客体
是 对于
那个 施事体
的
price
0
美国美元
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 546-561
如果
有点 物理
的使用是对于
施事体
免费 和
过程
是
有点 物理
的
instance
和
那个 施事体
是
有认知的主事
的
customer
和
那个 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
或
那个 有认知的主事
经历了
那个 过程
或
那个 施事体
possesses
那个 过程
和
那个 过程
是
客体
的
instance
和
那个 有认知的主事
uses
那个 过程
,
然后
那个 过程
是 对于
那个 施事体
的
price
0
美国美元
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
如果
AVPUPainStatus
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
痛
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
身体运动
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
causes
那个 另外 过程
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18225-18231
如果
胚胎
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
出生
的
instance
和
另一个 时距
equal
那个 过程
出现 的
time
和
那个 施事体
经历了
那个 过程
,
然后
那个 另外 时距
时段 doesn't 和
那个 时距
重叠
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18203-18209
如果
幼虫
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
出生
的
instance
和
另一个 时距
equal
那个 过程
出现 的
time
和
那个 施事体
经历了
那个 过程
,
然后
那个 另外 时距
接着
那个 时距
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 17192-17202
如果
过程
是
加速
的
instance
和
时距
equal
那个 过程
出现 的
time
和
施事体
经历了
那个 过程
,
然后 不存在
另一个 过程
这样
那个 另外 过程
是
减速
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 时距
equal
那个 另外 过程
出现 的
time
(=>
(
and
(
instance
?A
Anaphylaxis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
causes
?A ?D)))
Possibility
))
Medicine.kif 1545-1555
如果
过程
是
Anaphylaxis
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
死亡
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 过程
causes
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
instance
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
如果
过程
是
Asphyxiation
的
instance
和
施事体
经历了
那个 过程
,
然后 不存在
实体
这样
那个 实体
是
呼吸
的
instance
和
那个 过程
经历了
那个 实体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
如果
过程
是
RheumatoidArthritis
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
JointPain
的
instance
和
那个 过程
causes
那个 实体
的声明 has
容易
的语气
(=>
(
and
(
instance
?AI
AutoImmuneDisorder
)
(
experiencer
?AI ?H))
(
exists
(?A ?D ?C)
(
and
(
instance
?A
Antibody
)
(
part
?A ?H)
(
instance
?C
Cell
)
(
part
?C ?H)
(
instance
?D
Destruction
)
(
instrument
?D ?A)
(
not
(
desires
?H
(
and
(
instance
?D
Destruction
)
(
instrument
?D ?A)))))))
Medicine.kif 2200-2216
如果
过程
是
AutoImmuneDisorder
的
instance
和
有认知的主事
经历了
那个 过程
,
然后 有存在
客体
,
另一个 过程
, and 和
另一个 客体
这样
那个 客体
是
抗体
的
instance
和
那个 客体
是
那个 有认知的主事
的
part
和
那个 另外 客体
是
细胞
的
instance
和
那个 另外 客体
是
那个 有认知的主事
的
part
和
那个 另外 过程
是
摧毁
的
instance
和
那个 客体
是导致
那个 另外 过程
的
instrument
和
那个 有认知的主事
doesn't
desires
那个 另外 过程
是
摧毁
的
instance
和
那个 客体
是导致
那个 另外 过程
的
instrument
(=>
(
and
(
instance
?B
BecomingDrunk
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Sober
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))))
Mid-level-ontology.kif 16342-16352
如果
过程
是
变得醉了
的
instance
和
施事体
经历了
那个 过程
,
然后
清醒
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
醉
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
如果
过程
是
流血的
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
客体
和
另一个 过程
这样
那个 客体
是
静脉
的
instance
或
那个 客体
是
动脉
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 另外 过程
是
损坏
的
instance
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
和
那个 客体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?B
Bleeding
)
(
instance
?D
Death
)
(
instance
?H
Human
)
(
instance
?P
Human
)
(
experiencer
?B ?P)
(
orientation
?H ?P
Near
)
(
modalAttribute
(
causes
?B ?D)
Likely
))
(
holdsObligation
?H
(
exists
(?A)
(
and
(
instance
?A
Attaching
)
(
agent
?A ?H)
(
destination
?A ?P)))))
Medicine.kif 44-59
如果
过程
是
流血的
的
instance
和
实体
是
死亡
的
instance
和
公式
是
人类
的
instance
和
施事体
是
人类
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 公式
在
那个 施事体
的
近
和
那个 过程
causes
那个 实体
的声明 has
容易
的语气,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
连接
的
instance
和
那个 公式
是
那个 另外 实体
的
agent
和
那个 另外 实体
在
那个 施事体
结束 有义务执行
那个 公式
的任务
(=>
(
and
(
instance
?B
Blushing
)
(
experiencer
?B ?A))
(
exists
(?T1 ?T2 ?S1 ?S2)
(
and
(
instance
?S1
EmotionalState
)
(
instance
?S2
EmotionalState
)
(
not
(
equal
?S1 ?S2))
(
holdsDuring
?T1
(
attribute
?A ?S1))
(
holdsDuring
?T2
(
attribute
?A ?S2))
(
starts
(
WhenFn
?B) ?T2)
(
finishes
(
WhenFn
?B) ?T1))))
Mid-level-ontology.kif 21473-21488
如果
过程
是
脸红
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
时距
,
另一个 时距
,, ,
实体
, and 和
另一个 实体
这样
那个 实体
是
情绪状态
的
instance
和
那个 另外 实体
是
情绪状态
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
那个 实体
是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
attribute
在
那个 另外 时距
holdsDuring
和
那个 过程
出现 的
time
starts
了才到
那个 另外 时距
和
那个 过程
出现 的
time
finishes
了才到
那个 时距
(=>
(
and
(
instance
?B
SoberingUp
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Sober
))))
Mid-level-ontology.kif 16362-16372
如果
过程
是
清醒来
的
instance
和
施事体
经历了
那个 过程
,
然后
醉
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
清醒
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
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
(=>
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?AGENT))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?AGENT))))
Merge.kif 10219-10226
如果
过程
是
出生
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 另外 过程
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21394-21402
如果
过程
是
流血的
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
血液
的
instance
和
那个 实体
是
那个 施事体
的
part
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
那个 施事体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
instance
?ANIMAL
Animal
))
Mid-level-ontology.kif 21388-21392
如果
过程
是
流血的
的
instance
和
施事体
经历了
那个 过程
,
然后
那个 施事体
是
动物
的
instance
(=>
(
and
(
instance
?C
Chills
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
FeelingCold
)))
emotion.kif 1886-1892
如果
过程
是
Chills
的
instance
和
施事体
经历了
那个 过程
,
然后
FeelingCold
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?CO)
(
and
(
instance
?CO
Coughing
)
(
subProcess
?CO ?C)
(
experiencer
?CO ?H))))
Mid-level-ontology.kif 11770-11778
如果
过程
是
Choking
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
那个 过程
O 这样
那个 过程
O 是
Coughing
的
instance
和
那个 过程
O%n是
那个 过程
的
subProcess
和
那个 施事体
经历了
那个 过程
O
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11753-11768
如果
过程
是
Choking
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
,
客体
, and 和
另一个 客体
这样
那个 实体
是
客体
的
instance
和
那个 客体
是
Trachea
的
instance
和
那个 另外 客体
是
肺
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 实体
是
located
在
那个 客体
或
那个 实体
是
located
在
那个 另外 客体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
exists
(?I ?E)
(
and
(
instance
?I
Inhaling
)
(
instance
?E
Exhaling
)
(
subProcess
?I ?C)
(
subProcess
?E ?C)
(
experiencer
?I ?H)
(
experiencer
?E ?H))))
Mid-level-ontology.kif 6042-6053
如果
过程
是
Coughing
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
和
第三 过程
这样
那个 另外 过程
是
吸入
的
instance
和
那个 第三 过程
是
呼气
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
和
那个 施事体
经历了
那个 另外 过程
和
那个 施事体
经历了
那个 第三 过程
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6055-6074
如果
过程
是
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
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
年
是
那个 年
EAR
year
的
instance
和
地缘政治区域
和
那个 年
的
male
出生估计寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
BirthsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 82-97
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千的
births
equal
实数
若且唯若
那个 地缘政治区域
的
population
和 1000
equal
另一个 实数
和
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和
那个 另外 实数
equal
那个 实数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?DEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
instance
?PERSON
Human
)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 118-133
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千里的
deaths
equal
实数
若且唯若
那个 地缘政治区域
的
population
和 1000
equal
另一个 实数
和
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和
那个 另外 实数
equal
那个 实数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千个生存出生里的
deaths
equal
实数
若且唯若
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和 1000
equal
另一个 实数
和
第三 整数
equal
另一个 符号串
所描述的类别
instance
的数量 和
那个 第三 整数
和
那个 另外 实数
equal
那个 实数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 403-436
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的
female
出生预期寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 310-342
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的出生预期
life
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6230-6243
如果
allergic
人类
and
有点 物质
和
有点 物质
UB 是
那个 有点 物质
的
instance
和
那个 有点 物质
UB 接上
那个 人类
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
AllergicReaction
的
instance
和
那个 人类
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
时段 和
那个 时间位置
重叠 和
那个 时间位置
的开始%n在
那个 另外 实体
出现 的
time
的开始
before
发生 的声明 has
容易
的语气
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
有
有点 物理
和
有点 物理
是
客体
的
subclass
和
实体
是
那个 有点 物理
的
instance
,
然后
那个 施事体
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 实体
是
那个 另外 实体
的
resource
或
那个 实体
是导致
那个 另外 实体
的
instrument
或
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
或
那个 有认知的主事
经历了
那个 另外 实体
的任务
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
如果
有点 物理
的使用对于
有点 HotelFunctionRoom
是免费 和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
在
另一个 实体
结束 和
有点 物理
是
客体
的
subclass
,
然后 有存在
第三 实体
和
第四 实体
这样
那个 第三 实体
是
那个 有点 物理
的
instance
和
那个 第四 实体
是
过程
的
instance
和
那个 第三 实体
是
那个 第四 实体
的
resource
或
那个 第三 实体
是导致
那个 第四 实体
的
instrument
或
那个 第三 实体
是
那个 第四 实体
的
patient
和
那个 另外 实体
是
那个 第四 实体
的
agent
或
那个 另外 实体
经历了
那个 第四 实体
的声明 has
可能性
的语气
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
如果
情绪状态
是
实体
的
attribute
在
时间位置
holdsDuring
和
actionTendency
那个 情绪状态
and
有点 EmotionalBehavioralProcess
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
有点 EmotionalBehavioralProcess
的
instance
和
那个 另外 实体
出现 的
time
在
那个 时间位置
时段内发生 和
那个 实体
经历了
那个 另外 实体
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
如果
AVPUPainStatus
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
痛
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
身体运动
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
causes
那个 另外 过程
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23888-23902
如果
Menopausal
是
施事体
的
attribute
在
时距
holdsDuring
和
实数
equal
(1
年持续时间
和
那个 时距
的开始) 和
另一个 时距
equal
那个 另外 时距
和
那个 时距
的开始 间的时段,
然后 不存在
过程
这样
那个 过程
是
经期
的
instance
和
那个 施事体
经历了
那个 过程
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
如果
撤离者
是
施事体
的
attribute
在
时距
holdsDuring
和
那个 时距
是
时距
的
instance
,
然后 有存在
过程
和
另一个 施事体
这样
那个 过程
是
疏散
的
instance
和
那个 另外 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
军事组织
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 过程
出现 的
time
比
那个 时距
发生的
earlier
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 17192-17202
如果
过程
是
加速
的
instance
和
时距
equal
那个 过程
出现 的
time
和
施事体
经历了
那个 过程
,
然后 不存在
另一个 过程
这样
那个 另外 过程
是
减速
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 时距
equal
那个 另外 过程
出现 的
time
(=>
(
and
(
instance
?A
Anaphylaxis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
causes
?A ?D)))
Possibility
))
Medicine.kif 1545-1555
如果
过程
是
Anaphylaxis
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
死亡
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 过程
causes
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
维护
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 不存在
实体
这样
那个 实体
是
损坏
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
(=>
(
and
(
instance
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
如果
过程
是
Asphyxiation
的
instance
和
施事体
经历了
那个 过程
,
然后 不存在
实体
这样
那个 实体
是
呼吸
的
instance
和
那个 过程
经历了
那个 实体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A))
(
modalAttribute
(
causesProposition
(
exists
(?ANG)
(
and
(
instance
?ANG
Anger
)
(
experiencer
?ANG ?A)))
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A)))
Likely
))
emotion.kif 1945-1958
如果
过程
是
AngryVoiceUtterance
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 过程
是
AngryVoiceUtterance
的
instance
和
那个 施事体
是
那个 过程
的
agent
是 有存在
那个 施事体
NG 这样
那个 施事体
NG 是
愤怒
的
instance
和
那个 施事体
经历了
那个 施事体
NG 的
causes
提议 的声明 has
容易
的语气
(=>
(
and
(
instance
?AWARD
LegalAward
)
(
refers
?AWARD ?ACTION)
(
instance
?ACTION
LegalAction
)
(
agent
?ACTION ?PLAINTIFF))
(
confersRight
(
exists
(?GET ?OBJ ?VALUE)
(
and
(
instance
?GET
Getting
)
(
experiencer
?GET ?PLAINTIFF)
(
patient
?GET ?OBJ)
(
monetaryValue
?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))
Mid-level-ontology.kif 16199-16211
如果
实体
是
法律奖励
的
instance
和
那个 实体
提到
过程
和
那个 过程
是
法律诉讼
的
instance
和
有认知的主事
是
那个 过程
的
agent
,
然后
那个 实体
允许
那个 有认知的主事
执行 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
获得
的
instance
和
那个 有认知的主事
经历了
那个 另外 实体
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
的价值 是
那个 第四 实体
的任务
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18678-18694
如果
转移
是
遗赠
的
instance
和
施事体
是
那个 转移
的
agent
和
那个 转移
在
实体
结束 和
objectTransferred
那个 转移
and
那个 施事体
ROP,
然后 有存在
过程
这样
那个 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 过程
出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
和
那个 施事体
possesses
那个 施事体
ROP 在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 施事体
confers
规范
那个 实体
possesses
那个 施事体
ROP 对于
允许
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
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
(=>
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?AGENT))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?AGENT))))
Merge.kif 10219-10226
如果
过程
是
出生
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 另外 过程
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?CO)
(
and
(
instance
?CO
Coughing
)
(
subProcess
?CO ?C)
(
experiencer
?CO ?H))))
Mid-level-ontology.kif 11770-11778
如果
过程
是
Choking
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
那个 过程
O 这样
那个 过程
O 是
Coughing
的
instance
和
那个 过程
O%n是
那个 过程
的
subProcess
和
那个 施事体
经历了
那个 过程
O
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
exists
(?I ?E)
(
and
(
instance
?I
Inhaling
)
(
instance
?E
Exhaling
)
(
subProcess
?I ?C)
(
subProcess
?E ?C)
(
experiencer
?I ?H)
(
experiencer
?E ?H))))
Mid-level-ontology.kif 6042-6053
如果
过程
是
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
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
ChildrenBornPerWomanFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?INFANT
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
agent
?BIRTH ?WOMAN)
(
instance
?WOMAN
Human
)
(
attribute
?WOMAN
Female
)
(
holdsDuring
?YEAR
(
inhabits
?WOMAN ?AREA)))))))
People.kif 456-469
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每个女人生的
children
equal
符号串
所描述的类别
instance
的数量
(
decreasesLikelihood
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM)
(
biochemicalAgentAntidote
?AGENT ?SUBSTANCE ?PROCESS)
(
instance
?SAMPLE ?SUBSTANCE)
(
instance
?THERAPY ?PROCESS)
(
experiencer
?THERAPY ?ORGANISM)
(
patient
?THERAPY ?SAMPLE))
(
attribute
?ORGANISM ?SYMPTOM))
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
发生的机率
(
increasesLikelihood
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM)
(
biochemicalAgentDelivery
?AGENT ?PROCESSTYPE)
(
instance
?PROCESS ?PROCESSTYPE)
(
experiencer
?PROCESS ?ORGANISM))
(
attribute
?ORGANISM ?SYMPTOM))
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