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
causes
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 3783-3785
(
documentation
causes
JapaneseLanguage
"
Process
の インスタンス間の因果関係。 (
causes
?PROCESS1 ?PROCESS2) とは、
Process
?PROCESS1 の インスタンスが
Process
?PROCESS2のインスタンスをもたらすことを意味する。")
japanese_format.kif 711-713
(
domain
causes
1
Process
)
Merge.kif 3778-3778
域
原因
, 1 and
Process
(
domain
causes
2
Process
)
Merge.kif 3779-3779
域
原因
, 2 and
Process
(
instance
causes
AsymmetricRelation
)
Merge.kif 3777-3777
例
原因
and
AsymmetricRelation
(
instance
causes
BinaryPredicate
)
Merge.kif 3776-3776
例
原因
and
BinaryPredicate
(
relatedInternalConcept
causes
causesSubclass
)
Merge.kif 3780-3780
相關的內部概念
原因
and
導致子類
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
例
Process
and
退出
例
金融賬戶
and
金融賬戶
起源
Process
and
金融賬戶
的
currency
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
金融賬戶
的
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
Human
是 對於 %3 賺的
income
測量
RealNumber
and
UnitOfMeasure
是在
收費
的
amount
charged
原因
OrganizationalProcess
and
收費
等於
RealNumber
and
減法
RealNumber
and
RealNumber
從
OrganizationalProcess
由
Human
引申的
after
tax
income
是
測量
RealNumber
and
UnitOfMeasure
(=>
(
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
例
Process
and 由
AutonomousAgent
中止的
軍事行動
任務
原因
AutonomousAgent
CTION and
Process
agent
AutonomousAgent
CTION and
entity
_A
agent
軍事行動
and
entity
_A
enemy
entity
_A and
entity
_A
(=>
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
instance
?Transaction
FinancialTransaction
)
(
instance
?Card
BankCard
)
(
instrument
?Transaction ?Card)
(
causes
?Authorization ?Transaction))
(
instance
?Card
ValidCard
))
FinancialOntology.kif 3516-3523
例
Process
and
交易授權
例
Process
and
FinancialTransaction
例
Object
and
銀行卡
儀器
Process
and
Object
原因
Process
and
Process
例
Object
and
有效卡
(=>
(
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
例
Process
and
流血的
例
Entity
and
Death
例
Formula
and
Human
例
AutonomousAgent
and
Human
體驗者
Process
and
AutonomousAgent
方位
Formula
,
AutonomousAgent
and
近
模態屬性
原因
Process
and
Entity
and
容易
持有義務
Formula
and
entity
例
entity
and
Attaching
agent
entity
and
Formula
目的地
entity
and
AutonomousAgent
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
例
Process
and
CheckInService
原因
Process
and
Process
例
Physical
and
CheckOutService
飾面
何時
Physical
and
何時
Process
(=>
(
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
例
Process
and
Motion
例
Process
and
震
例
Object
and
Damper
患者
Process
and
Object
部分
Object
and
Object
原因
Process
and
Process
例
Entity
and
UnitOfLength
持有期間
何時
Process
and
physicalAmplitude
Process
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
Process
and
physicalAmplitude
Process
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
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 4927-4942
例
Entity
and
Ratchet
例
Entity
and
附著裝置
例
Entity
O1 and
旋轉
attribute
Entity
O1 and
Attribute
例
Entity
O2 and
旋轉
attribute
Entity
O2 and
Attribute
例
Attribute
and
RotationalAttribute
例
Attribute
and
RotationalAttribute
等於
Entity
O1 and
Entity
O2
原因
Entity
O1 and
Entity
O2
患者
Entity
O1 and
Ratchet
患者
Entity
O2 and
Entity
等於
Attribute
and
Attribute
(=>
(
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 2114-2133
例
Entity
and
軸
例
Entity
and
軸
等於
Entity
and
Entity
例
EngineeringComponent
and
旋轉
患者
EngineeringComponent
and
Entity
例
EngineeringComponent
and
旋轉
患者
EngineeringComponent
and
Entity
原因
EngineeringComponent
and
EngineeringComponent
例
EngineeringComponent
and
CVJoint
連接的工程組件
EngineeringComponent
and
EngineeringComponent
連接的工程組件
EngineeringComponent
and
EngineeringComponent
持有期間
何時
EngineeringComponent
and
等於
Entity
and
RotationFn
entity
and
entity
持有期間
何時
EngineeringComponent
and
等於
Entity
and
RotationFn
entity
and
entity
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3795-3797
原因
Process
and
Process
早期
何時
Process
and
何時
Process
(=>
(
causes
?P1 ?P2)
(
relatedEvent
?P1 ?P2))
Merge.kif 3787-3789
原因
Process
and
Process
Process
是
Process
的
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 30296-30310
方式
Process
and
Harmless
例
Process
and
Damaging
Process
例
Process
and
Damaging
子過程
Process
and
Process
Process
例
Process
and
Damaging
原因
Process
and
Process
(=>
(
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
採用
AutonomousAgent
and
CognitiveAgent
例
Process
and
DoNetworkMessaging
結果
Process
and
Object
attribute
Object
and
NSFW
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
CognitiveAgent
模態屬性
entity
原因
Process
and
entity
CognitiveAgent
suffers
從
entity
and
可能性
(=>
(
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
採用
AutonomousAgent
and
CognitiveAgent
採用
AutonomousAgent
and
CognitiveAgent
例
Process
and
DoNetworkMessaging
結果
Process
and
Object
attribute
Object
and
NSFW
agent
Process
and
CognitiveAgent
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
CognitiveAgent
模態屬性
CognitiveAgent
ROC
原因
Process
and
CognitiveAgent
ROC
CognitiveAgent
suffers
從
CognitiveAgent
ROC and
容易
(=>
(
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
Muscle
例
Object
and
Nerve
例
Object
and
Muscle
部分
Object
and
Object
部分
Object
and
Object
attribute
Object
and
Healthy
例
Object
and
Human
有目的
Object
and
Object
F
entity
例
Object
F and
NerveFiring
儀器
Object
F and
Object
例
Muscle
and
MuscleContraction
儀器
Object
V and
Object
原因
Object
F and
Muscle
(=>
(
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
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
AVPUPainStatus
例
Process
and
痛
期間
何時
Process
and
TimeInterval
體驗者
Process
and
AutonomousAgent
Process
例
Process
and
BodyMotion
體驗者
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
原因
Process
and
Process
(=>
(
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
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
AVPUVerbalStatus
例
Process
and
說話
目的地
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
Process
例
Process
and
IntentionalProcess
agent
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
原因
Process
and
Process
(=>
(
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
例
Process
and
Anaphylaxis
體驗者
Process
and
AutonomousAgent
模態屬性
entity
例
entity
and
Death
體驗者
entity
and
AutonomousAgent
原因
Process
and
entity
and
可能性
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
例
Process
and
RheumatoidArthritis
體驗者
Process
and
AutonomousAgent
模態屬性
entity
例
entity
and
JointPain
原因
Process
and
entity
and
容易
(=>
(
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
例
SelfConnectedObject
and
AutomobileShock
例
Process
and
Compressing
例
HoleRegion
and
HoleRegion
attribute
Object
and
流體
等於
SelfConnectedObject
and
洞主持人
HoleRegion
包含
SelfConnectedObject
and
Object
患者
Process
and
SelfConnectedObject
Transfer
例
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
路徑
Transfer
and
HoleRegion
原因
Process
and
Transfer
(=>
(
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
例
金融賬戶
and
傳統儲蓄賬戶
例
Process
and
退出
起源
Process
and
金融賬戶
的
currency
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
(=>
(
and
(
instance
?B
Bell
)
(
instance
?I
Impacting
)
(
destination
?I ?B))
(
exists
(?MT)
(
and
(
instance
?MT
MusicalTone
)
(
causes
?I ?MT))))
Music.kif 1256-1264
例
Entity
and
鐘
例
Process
and
Impacting
目的地
Process
and
Entity
Process
例
Process
and
音調
原因
Process
and
Process
(=>
(
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
例
Object
and
BrakePedal
例
Process
and
Pushing
例
Object
and
車輛
目的地
Process
and
Object
Process
是
located
在
Object
部分
Object
and
Object
有目的
Object
and
entity
entity
例
entity
and
WearingFrictionSurface
例
entity
and
摩擦
儀器
entity
and
entity
原因
Process
and
entity
(=>
(
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 1838-1856
例
Object
and
Clutch
例
Object
and
汽車
例
Object
and
發動機
例
Object
and
變速器
例
Object
EAR and
齒輪
部分
Object
EAR and
Object
部分
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
例
Process
and
Motion
患者
Process
and
Object
attribute
Object
and
設備關閉
Process
例
Process
and
Motion
患者
Process
and
Object
原因
Process
and
Process
(=>
(
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 1817-1836
例
Object
and
Clutch
例
Object
and
汽車
例
Object
and
發動機
例
Object
and
變速器
例
Object
EAR and
齒輪
部分
Object
EAR and
Object
部分
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
例
Process
and
Motion
患者
Process
and
Object
attribute
Object
and
設備上
Process
例
Process
and
Motion
患者
Process
and
Object
原因
Process
and
Process
(=>
(
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
例
Object
and
Crankshaft
例
Object
and
IntermittentCombustionEngine
部分
Object
and
Object
有目的
Object
and
entity
entity
例
entity
and
爆炸
例
entity
and
旋轉
患者
entity
and
Object
entity
是
located
在
Object
原因
entity
and
entity
(=>
(
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
例
Process
and
Crushing
患者
Process
and
Entity
例
Entity
and
Object
Process
Process
例
Process
and
Breaking
原因
Process
and
Process
子過程
Process
and
Process
例
Process
and
ShapeChange
患者
Process
and
Entity
患者
Process
and
Entity
(=>
(
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
例
金融賬戶
and
存款證
Day
是
金融賬戶
的
maturity
日期
例
Process
and
退出
起源
Process
and
金融賬戶
的
currency
日期
Process
and
Day
之前
結束
Day
and
開始
Day
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
例
Process
and
DisgustedVoiceUtterance
agent
Process
and
AutonomousAgent
Process
例
Process
and
Disgust
體驗者
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?APP)
(
and
(
instance
?APP
AppraisalProcess
)
(
agent
?APP ?A)
(
causes
?APP ?EBP))))
emotion.kif 119-127
例
Process
and
EmotionalBehavioralProcess
agent
Process
and
AutonomousAgent
AutonomousAgent
PP
例
AutonomousAgent
PP and
AppraisalProcess
agent
AutonomousAgent
PP and
AutonomousAgent
原因
AutonomousAgent
PP and
Process
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?FE)
(
and
(
instance
?FE
FacialExpression
)
(
agent
?FE ?A)
(
causes
?EBP ?FE))))
emotion.kif 129-137
例
Process
and
EmotionalBehavioralProcess
agent
Process
and
AutonomousAgent
Process
例
Process
and
表情
agent
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
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
例
Process
and
疏散
起源
Process
and
GeographicArea
agent
Process
and
CognitiveAgent
Process
例
Process
and
Process
GeographicArea
是
哪裡
Process
and
開始
何時
Process
的
geographic
次要地區
原因
Process
and
Process
相信
CognitiveAgent
and
attribute
Process
and
危險
(=>
(
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
例
Process
and
Process
例
Human
and
AutonomousAgent
例
試驗
and
試驗
Human
是個
treated
used
在
試驗
Process
在
試驗
的
process
體驗者
Process
and
Human
體驗者
Process
and
Human
試驗
causes
Process
試驗
ERIMENTER
例
試驗
ERIMENTER and
AutonomousAgent
試驗
ERIMENTER 是在
試驗
的
experimenter
相信
試驗
ERIMENTER and
模態屬性
原因
Process
and
Process
and
容易
(=>
(
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 2730-2744
例
Object
and
FanBelt
例
Object
and
EngineFan
例
Object
and
汽車
部分
Object
and
Object
部分
Object
and
Object
例
Process
and
Motion
患者
Process
and
Object
有目的
Object
and
Process
例
Process
and
旋轉
原因
Process
and
Process
患者
Process
and
Object
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2065-2073
例
Process
and
FearfulVoiceUtterance
agent
Process
and
AutonomousAgent
Process
例
Process
and
Fear
體驗者
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
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 6429-6439
例
Process
and
Hallucination
體驗者
Process
and
AutonomousAgent
AutonomousAgent
ER
AutonomousAgent
ROP
例
AutonomousAgent
ER and
Perception
體驗者
AutonomousAgent
ER and
AutonomousAgent
原因
Process
and
AutonomousAgent
ER
包含信息
AutonomousAgent
ER and
AutonomousAgent
ROP
真相
AutonomousAgent
ROP and
假
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