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
AppleIOS
Sigma KEE - causes
causes
appearance as argument number 1
(
documentation
causes
ChineseLanguage
"这是
Process
实例之间的因果关系, (
causes
?PROCESS1 ?PROCESS2)的意思是
Process
?PROCESS1 的实例引起
Process
?PROCESS2 的 实例。")
chinese_format.kif 2065-2067
(
documentation
causes
EnglishLanguage
"The causation relation between instances of
Process
.(
causes
?PROCESS1 ?PROCESS2) means that the instance of
Process
?PROCESS1 brings about the instance of
Process
?PROCESS2.")
Merge.kif 3784-3786
(
documentation
causes
JapaneseLanguage
"
Process
の インスタンス間の因果関係。 (
causes
?PROCESS1 ?PROCESS2) とは、
Process
?PROCESS1 の インスタンスが
Process
?PROCESS2のインスタンスをもたらすことを意味する。")
japanese_format.kif 711-713
(
domain
causes
1
Process
)
Merge.kif 3779-3779
引起
的 1 数量 是
过程
的
instance
(
domain
causes
2
Process
)
Merge.kif 3780-3780
引起
的 2 数量 是
过程
的
instance
(
instance
causes
AsymmetricRelation
)
Merge.kif 3778-3778
引起
是
非对称关系
的
instance
(
instance
causes
BinaryPredicate
)
Merge.kif 3777-3777
引起
是
二元谓语
的
instance
(
relatedInternalConcept
causes
causesSubclass
)
Merge.kif 3781-3781
引起
和
导致子类
是 内部相关
appearance as argument number 2
(
format
ChineseLanguage
causes
"%1 %n{doesn't}
causes
%2")
chinese_format.kif 71-71
(
format
EnglishLanguage
causes
"%1 %n{doesn't} cause%p{s} %2")
english_format.kif 71-71
(
format
FrenchLanguage
causes
"%1 %n{ne} cause %n{pas} %2")
french_format.kif 60-60
(
format
ItalianLanguage
causes
"%1 %n{non} causa%p{s} %2")
relations-it.txt 42-42
(
format
JapaneseLanguage
causes
"%1 は %2 を cause%p{s} %n{ない}")
japanese_format.kif 1884-1884
(
format
PortugueseLanguage
causes
"%1 causa %2")
portuguese_format.kif 12-12
(
format
cb
causes
"%1 %n ay naghatag %2")
relations-cb.txt 76-76
(
format
cz
causes
"%1 %n{doesn't} cause%p{s} %2")
relations-cz.txt 114-114
(
format
de
causes
"%1 verursacht %2 %n{nicht}")
relations-de.txt 77-77
(
format
hi
causes
"%1 %2 kaa kaaraNa %n hai")
relations-hindi.txt 84-84
(
format
ro
causes
"%1 %n{nu} cause%t{produce} %2")
relations-ro.kif 79-79
(
format
sv
causes
"%1
or
sakar %n{inte} %2")
relations-sv.txt 59-59
(
format
tg
causes
"%1 %n ay nagbibigay %2")
relations-tg.txt 100-100
(
termFormat
ChineseLanguage
causes
"原因")
domainEnglishFormat.kif 13500-13500
(
termFormat
ChineseLanguage
causes
"引起")
chinese_format.kif 72-72
(
termFormat
ChineseTraditionalLanguage
causes
"原因")
domainEnglishFormat.kif 13499-13499
(
termFormat
EnglishLanguage
causes
"causes")
domainEnglishFormat.kif 13498-13498
(
termFormat
de
causes
"verursacht")
terms-de.txt 20-20
(
termFormat
tg
causes
"nagbibigay")
relations-tg.txt 101-101
antecedent
(<=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1818-1828
过程
是
退出
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和 不存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
若且唯若
那个 金融账户
的
liqudity
是
高流动性
(=>
(
and
(
incomeEarned
?Agent
(
MeasureFn
?Income ?CU) ?Activity)
(
amountCharged
?Tax
(
MeasureFn
?TaxAmount ?CU))
(
causes
?Activity ?Tax)
(
equal
?ATIncome
(
SubtractionFn
?Income ?TaxAmount)))
(
afterTaxIncome
?Agent
(
MeasureFn
?ATIncome ?CU) ?Activity))
FinancialOntology.kif 3331-3341
如果
人类
是 对于 %3 赚的
income
和
实数
测量单位
是在
收费
的
amount
charged
和
机构性过程
causes
那个 收费
和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后 从
那个 机构性过程
由
那个 人类
引申的
after
tax
income
是
那个 另外 实数
那个 测量单位
(=>
(
and
(
instance
?ABORTED
(
AbortedMissionFn
?A ?MISSION))
(
causes
?ACTION ?ABORTED)
(
agent
?ACTION ?OTHER_A)
(
agent
?MISSION ?THIS_A))
(
not
(
enemy
?OTHER_A ?THIS_A)))
MilitaryProcesses.kif 2440-2445
如果
过程
是 由
施事体
中止的
军事行动
任务 的
instance
和
那个 施事体
CTION
causes
那个 过程
和
实体
_A 是
那个 施事体
CTION 的
agent
和
另一个 实体
_A 是
那个 军事行动
的
agent
,
然后
enemy
那个 实体
_A and
那个 另外 实体
_A
(=>
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
instance
?Transaction
FinancialTransaction
)
(
instance
?Card
BankCard
)
(
instrument
?Transaction ?Card)
(
causes
?Authorization ?Transaction))
(
instance
?Card
ValidCard
))
FinancialOntology.kif 3516-3523
如果
过程
是
交易授权
的
instance
和
另一个 过程
是
金融交易
的
instance
和
客体
是
银行卡
的
instance
和
那个 客体
是导致
那个 另外 过程
的
instrument
和
那个 过程
causes
那个 另外 过程
,
然后
那个 客体
是
有效卡
的
instance
(=>
(
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
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
如果
过程
是
CheckInService
的
instance
和
那个 过程
causes
另一个 过程
和
物理
是
CheckOutService
的
instance
,
然后
那个 物理
出现 的
time
finishes
了才到
那个 另外 过程
出现 的
time
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
如果
过程
是
运动
的
instance
和
另一个 过程
是
震
的
instance
和
客体
是
Damper
的
instance
和
另一个 客体
是
那个 另外 过程
的
patient
和
那个 客体
是
那个 另外 客体
的
part
和
那个 过程
causes
那个 另外 过程
和
实体
是
UnitOfLength
的
instance
和
physicalAmplitude
那个 另外 过程
and
实数
那个 实体
在
那个 过程
出现 的
time
holdsDuring
和
physicalAmplitude
那个 另外 过程
and
另一个 实数
那个 实体
在 紧接
那个 过程
after
holdsDuring
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?R
Ratchet
)
(
instance
?A
AttachingDevice
)
(
instance
?RO1
Rotating
)
(
attribute
?RO1 ?DIR1)
(
instance
?RO2
Rotating
)
(
attribute
?RO2 ?DIR2)
(
instance
?DIR1
RotationalAttribute
)
(
instance
?DIR2
RotationalAttribute
)
(
not
(
equal
?RO1 ?RO2))
(
causes
?RO1 ?RO2)
(
patient
?RO1
Ratchet
)
(
patient
?RO2 ?A))
(
equal
?DIR1 ?DIR2))
Cars.kif 4912-4927
如果
实体
是
Ratchet
的
instance
和
另一个 实体
是
附着装置
的
instance
和
那个 实体
O1 是
旋转
的
instance
和
属性
是
那个 实体
O1 的
attribute
和
那个 实体
O2 是
旋转
的
instance
和
另一个 属性
是
那个 实体
O2 的
attribute
和
那个 属性
是
RotationalAttribute
的
instance
和
那个 另外 属性
是
RotationalAttribute
的
instance
和
那个 实体
O1 不
equal
那个 实体
O2 和
那个 实体
O1
causes
那个 实体
O2 和
Ratchet
是
那个 实体
O1 的
patient
和
那个 另外 实体
是
那个 实体
O2 的
patient
,
然后
那个 属性
equal
那个 另外 属性
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2097-2116
如果
实体
是
轴
的
instance
和
另一个 实体
是
轴
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
工程组件
是
旋转
的
instance
和
那个 实体
是
那个 工程组件
的
patient
和
另一个 工程组件
是
旋转
的
instance
和
那个 另外 实体
是
那个 另外 工程组件
的
patient
和
那个 工程组件
causes
那个 另外 工程组件
和
第三 工程组件
是
CVJoint
的
instance
和
那个 工程组件
是 和
那个 第三 工程组件
connected
和
那个 另外 工程组件
是 和
那个 第三 工程组件
connected
和
那个 实体
equal
RotationFn
第三 实体
and
第四 实体
在
那个 工程组件
出现 的
time
holdsDuring
,
然后
那个 另外 实体
equal
RotationFn
那个 第三 实体
and
那个 第四 实体
在
那个 另外 工程组件
出现 的
time
holdsDuring
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3796-3798
如果
过程
causes
另一个 过程
,
然后
那个 过程
出现 的
time
比
那个 另外 过程
出现 的
time
发生的
earlier
(=>
(
causes
?P1 ?P2)
(
relatedEvent
?P1 ?P2))
Merge.kif 3788-3790
如果
过程
causes
另一个 过程
,
然后
那个 另外 过程
是
那个 过程
的
related
事件
consequent
(<=>
(
manner
?P
Harmless
)
(
and
(
not
(
instance
?P
Damaging
))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
Damaging
)
(
subProcess
?P2 ?P))))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
Damaging
)
(
causes
?P ?P2))))))
Mid-level-ontology.kif 30320-30334
过程
是以
Harmless
的形式发生 若且唯若
那个 过程
不 是
损坏
的
instance
和 不存在
那个 过程
2 这样
那个 过程
2 是
损坏
的
instance
和
那个 过程
2%n是
那个 过程
的
subProcess
和 不存在
那个 过程
2 这样
那个 过程
2 是
损坏
的
instance
和
那个 过程
causes
那个 过程
2
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
如果
施事体
employs
有认知的主事
和
过程
是
DoNetworkMessaging
的
instance
和
客体
是
那个 过程
的
result
和
NSFW
是
那个 客体
的
attribute
和
另一个 过程
是
看
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 有认知的主事
是
那个 另外 过程
的
agent
,
然后 有存在
实体
这样
那个 另外 过程
causes
那个 实体
和
那个 有认知的主事
suffers
从
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
如果
施事体
employs
有认知的主事
和
那个 施事体
employs
另一个 有认知的主事
和
过程
是
DoNetworkMessaging
的
instance
和
客体
是
那个 过程
的
result
和
NSFW
是
那个 客体
的
attribute
和
那个 有认知的主事
是
那个 过程
的
agent
和
另一个 过程
是
看
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 另外 有认知的主事
是
那个 另外 过程
的
agent
,
然后 有存在
那个 有认知的主事
ROC 这样
那个 过程
causes
那个 有认知的主事
ROC 和
那个 有认知的主事
suffers
从
那个 有认知的主事
ROC 的声明 has
容易
的语气
(=>
(
and
(
ennervates
?NC ?MC)
(
instance
?N ?NC)
(
instance
?M ?MC)
(
part
?N ?H)
(
part
?M ?H)
(
attribute
?H
Healthy
)
(
instance
?H
Human
))
(
hasPurpose
?N
(
exists
(?NF ?C)
(
and
(
instance
?NF
NerveFiring
)
(
instrument
?NF ?N)
(
instance
?MC
MuscleContraction
)
(
instrument
?MV ?M)
(
causes
?NF ?MC)))))
Anatomy.kif 1923-1939
如果
ennervates
有点 Nerve
and
有点 肌肉
和
客体
是
有点 Nerve
的
instance
和
另一个 客体
是
有点 肌肉
的
instance
和
那个 客体
是
第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
和
Healthy
是
那个 第三 客体
的
attribute
和
那个 第三 客体
是
人类
的
instance
,
然后
那个 客体
的 目的 是 有存在
那个 客体
F 和
另一个 实体
这样
那个 客体
F 是
NerveFiring
的
instance
和
那个 客体
是导致
那个 客体
F 的
instrument
和
那个 有点 肌肉
是
MuscleContraction
的
instance
和
那个 另外 客体
是导致
那个 另外 客体
V 的
instrument
和
那个 客体
F
causes
那个 有点 肌肉
(=>
(
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
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
如果
AVPUVerbalStatus
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
说话
的
instance
和
那个 过程
在
那个 施事体
结束 和
那个 过程
出现 的
time
在
那个 时距
时段内发生,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
有意图过程
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
causes
那个 另外 过程
(=>
(
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
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
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
如果
自身连接物体
是
AutomobileShock
的
instance
和
过程
是
Compressing
的
instance
和
洞
是
洞
的
instance
和
流体
是
客体
的
attribute
和
那个 自身连接物体
equal
洞
那个 洞
的主体 和
那个 自身连接物体
contains
那个 客体
和
那个 自身连接物体
是
那个 过程
的
patient
,
然后 有存在
转移
这样
那个 转移
是
转移
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 洞
%n是
那个 转移
发生的
path
和
那个 过程
causes
那个 转移
(=>
(
and
(
instance
?Account
TraditionalSavingsAccount
)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
FinancialOntology.kif 1115-1124
如果
金融账户
是
传统储蓄账户
的
instance
和
过程
是
退出
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头,
然后 不存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
(=>
(
and
(
instance
?B
Bell
)
(
instance
?I
Impacting
)
(
destination
?I ?B))
(
exists
(?MT)
(
and
(
instance
?MT
MusicalTone
)
(
causes
?I ?MT))))
Music.kif 1256-1264
如果
实体
是
钟
的
instance
和
过程
是
碰撞
的
instance
和
那个 过程
在
那个 实体
结束,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
音调
的
instance
和
那个 过程
causes
那个 另外 过程
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
如果
客体
是
BrakePedal
的
instance
和
过程
是
Pushing
的
instance
和
另一个 客体
是
车辆
的
instance
和
那个 过程
在
那个 客体
结束 和
那个 过程
是
located
在
那个 另外 客体
和
那个 客体
是
那个 另外 客体
的
part
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
WearingFrictionSurface
的
instance
和
那个 另外 实体
是
摩擦
的
instance
和
那个 实体
是导致
那个 另外 实体
的
instrument
和
那个 过程
causes
那个 另外 实体
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1821-1839
如果
客体
是
Clutch
的
instance
和
另一个 客体
是
汽车
的
instance
和
第三 客体
是
发动机
的
instance
和
第四 客体
是
变速器
的
instance
和
那个 第四 客体
EAR 是
齿轮
的
instance
和
那个 第四 客体
EAR 是
那个 第四 客体
的
part
和
那个 第四 客体
是
那个 另外 客体
的
part
和
那个 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
是
那个 另外 客体
的
part
和
过程
是
运动
的
instance
和
那个 第三 客体
是
那个 过程
的
patient
和
设备关闭
是
那个 客体
的
attribute
,
然后 有存在
那个 过程
2 这样
那个 过程
2 是
运动
的
instance
和
那个 第四 客体
是
那个 过程
2 的
patient
和
那个 过程
causes
那个 过程
2
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1800-1819
如果
客体
是
Clutch
的
instance
和
另一个 客体
是
汽车
的
instance
和
第三 客体
是
发动机
的
instance
和
第四 客体
是
变速器
的
instance
和
那个 第四 客体
EAR 是
齿轮
的
instance
和
那个 第四 客体
EAR 是
那个 第四 客体
的
part
和
那个 第四 客体
是
那个 另外 客体
的
part
和
那个 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
是
那个 另外 客体
的
part
和
过程
是
运动
的
instance
和
那个 第三 客体
是
那个 过程
的
patient
和
设备上
是
那个 客体
的
attribute
,
然后 不存在
那个 过程
2 这样
那个 过程
2 是
运动
的
instance
和
那个 第四 客体
是
那个 过程
2 的
patient
和
那个 过程
causes
那个 过程
2
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
如果
客体
是
Crankshaft
的
instance
和
另一个 客体
是
IntermittentCombustionEngine
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
爆炸
的
instance
和
那个 另外 实体
是
旋转
的
instance
和
那个 客体
是
那个 另外 实体
的
patient
和
那个 另外 实体
是
located
在
那个 另外 客体
和
那个 实体
causes
那个 另外 实体
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?B ?SC)
(
and
(
instance
?B
Breaking
)
(
causes
?C ?B)
(
subProcess
?B ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?B ?O)
(
patient
?SC ?O))))
Food.kif 980-992
如果
过程
是
Crushing
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
客体
的
instance
,
然后 有存在
另一个 过程
和
第三 过程
这样
那个 另外 过程
是
Breaking
的
instance
和
那个 过程
causes
那个 另外 过程
和
那个 另外 过程
%n是
那个 第三 过程
的
subProcess
和
那个 第三 过程
是
形状变化
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 实体
是
那个 第三 过程
的
patient
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
如果
金融账户
是
存款证
的
instance
和
日
是
那个 金融账户
的
maturity
日期 和
过程
是
退出
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和
那个 过程
的
date
是
另一个 日
和
那个 另外 日
的结束%n在
那个 日
的开始
before
发生,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
如果
过程
是
DisgustedVoiceUtterance
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
Disgust
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
causes
那个 过程
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?APP)
(
and
(
instance
?APP
AppraisalProcess
)
(
agent
?APP ?A)
(
causes
?APP ?EBP))))
emotion.kif 119-127
如果
过程
是
EmotionalBehavioralProcess
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
那个 施事体
PP 这样
那个 施事体
PP 是
AppraisalProcess
的
instance
和
那个 施事体
是
那个 施事体
PP 的
agent
和
那个 施事体
PP
causes
那个 过程
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?FE)
(
and
(
instance
?FE
FacialExpression
)
(
agent
?FE ?A)
(
causes
?EBP ?FE))))
emotion.kif 129-137
如果
过程
是
EmotionalBehavioralProcess
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
表情
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 过程
causes
那个 另外 过程
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
agent
?EV ?A))
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
geographicSubregion
?OR
(
WhereFn
?P
(
BeginFn
(
WhenFn
?EV))))
(
causes
?P ?EV)
(
believes
?A
(
attribute
?P
Dangerous
)))))
MilitaryProcesses.kif 2516-2530
如果
过程
是
疏散
的
instance
和
地理区域
是
那个 过程
的源头 和
有认知的主事
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
过程
的
instance
和
那个 地理区域
是
那个 另外 过程
在
那个 过程
出现 的
time
的开始 时所处的地区 的
geographic
次要地区 和
那个 另外 过程
causes
那个 过程
和
那个 有认知的主事
believes
危险
是
那个 另外 过程
的
attribute
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
如果
过程
是
过程
的
instance
和
人类
是
施事体
的
instance
和
试验
是
试验
的
instance
和
那个 人类
是个
treated
used
在
那个 试验
和
那个 过程
在
那个 试验
的
process
和
那个 人类
经历了
另一个 过程
和
那个 人类
经历了
那个 过程
和
那个 试验
causes
那个 另外 过程
,
然后 有存在
那个 试验
ERIMENTER 这样
那个 试验
ERIMENTER 是
施事体
的
instance
和
那个 试验
ERIMENTER 是在
那个 试验
的
experimenter
和
那个 试验
ERIMENTER
believes
那个 过程
causes
那个 另外 过程
的声明 has
容易
的语气
(=>
(
and
(
instance
?FB
FanBelt
)
(
instance
?EF
EngineFan
)
(
instance
?A
Automobile
)
(
part
?FB ?A)
(
part
?EF ?A)
(
instance
?M
Motion
)
(
patient
?M ?FB))
(
hasPurpose
?FB
(
exists
(?M2)
(
and
(
instance
?M2
Rotating
)
(
causes
?M ?M2)
(
patient
?M2 ?EF)))))
Cars.kif 2713-2727
如果
客体
是
FanBelt
的
instance
和
另一个 客体
是
EngineFan
的
instance
和
第三 客体
是
汽车
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
和
过程
是
运动
的
instance
和
那个 客体
是
那个 过程
的
patient
,
然后
那个 客体
的 目的 是 有存在
那个 过程
2 这样
那个 过程
2 是
旋转
的
instance
和
那个 过程
causes
那个 过程
2 和
那个 另外 客体
是
那个 过程
2 的
patient
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER ?PROP)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 6423-6433
如果
过程
是
Hallucination
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
那个 施事体
ER 和
那个 施事体
ROP 这样
那个 施事体
ER 是
感知
的
instance
和
那个 施事体
经历了
那个 施事体
ER 和
那个 过程
causes
那个 施事体
ER 和
那个 施事体
ER
contains
那个 施事体
ROP 的资料 和
那个 施事体
ROP 是
假
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3432-3461
如果
可穿戴物品
是
听力保护
的
instance
和
动物
是
人类
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 另外 实体
是
那个 第三 实体
所描述的类别 的
subclass
和
那个 实体
prevents
那个 另外 实体
的发生 和
那个 可穿戴物品
是导致
那个 实体
的
instrument
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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