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
The number 1 argument of
causes
is an
instance
of
process
(
domain
causes
2
Process
)
Merge.kif 3779-3779
The number 2 argument of
causes
is an
instance
of
process
(
instance
causes
AsymmetricRelation
)
Merge.kif 3777-3777
causes
is an
instance
of
asymmetric relation
(
instance
causes
BinaryPredicate
)
Merge.kif 3776-3776
causes
is an
instance
of
binary predicate
(
relatedInternalConcept
causes
causesSubclass
)
Merge.kif 3780-3780
causes
is
internally
related to
causes subclass
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
A process
is an
instance
of
withdrawal
and
a financial account
is an
instance
of
financial account
and
the process
originate
s at the
currency
of
the financial account
and there doesn't exist
another process
such that
the other process
is an
instance
of
penalty
and
the other process
end
s up at the
currency
of
the financial account
and
the process
cause
s
the other process
if and only if the
liqudity
of
the financial account
is
high liquidity
(=>
(
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
If
a human
is
income
earned
a real number
an unit of measure
(s) for
an organizational process
and
another real number
the unit of measure
(s) is the
amount
charged
in
a chargingA fee
and
the organizational process
cause
s
the chargingA fee
and
a third real number
is
equal
to (
the real number
and
the other real number
),
then the
after
tax
income
derived by
the human
from
the organizational process
is
the third real number
the unit of measure
(s)
(=>
(
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
If
a process
is an
instance
of the mission of
a military operation
aborted
by
an agent
and
the agent
CTION
cause
s
the process
and
an entity
_A is an
agent
of
the agent
CTION and
another entity
_A is an
agent
of
the military operation
,
then
the entity
_A and
the other entity
_A are not enemies of each other
(=>
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
instance
?Transaction
FinancialTransaction
)
(
instance
?Card
BankCard
)
(
instrument
?Transaction ?Card)
(
causes
?Authorization ?Transaction))
(
instance
?Card
ValidCard
))
FinancialOntology.kif 3516-3523
If
a process
is an
instance
of
authorization of transaction
and
another process
is an
instance
of
financial transaction
and
an object
is an
instance
of
bank card
and
the object
is an
instrument
for
the other process
and
the process
cause
s
the other process
,
then
the object
is an
instance
of
valid card
(=>
(
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
If
a process
is an
instance
of
bleeding
and
an entity
is an
instance
of
death
and
a formula
is an
instance
of
human
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
and
the formula
is
near
to
the agent
and the statement
the process
cause
s
the entity
has the
modal
force
of
likely
,
then there exists
another entity
such that
the other entity
is an
instance
of
attaching
and
the formula
is an
agent
of
the other entity
and
the other entity
end
s up at
the agent
is
obliged
to perform tasks of type
the formula
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
If
a process
is an
instance
of
check-in service
and
the process
cause
s
another process
and
a physical
is an
instance
of
check-out service
,
then the
time
of existence of
the physical
finish
es the
time
of existence of
the other 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
If
a process
is an
instance
of
motion
and
another process
is an
instance
of
tremor
and
an object
is an
instance
of
damper
and
another object
is a
patient
of
the other process
and
the object
is a
part
of
the other object
and
the process
cause
s
the other process
and
an entity
is an
instance
of
unit of length
and the amplitude
the other process
is
a real number
the entity
(s) holds
during
the
time
of existence of
the process
and the amplitude
the other process
is
another real number
the entity
(s) holds
during
immediately
after
the process
,
then
the real number
is
greater
than
the other real number
(=>
(
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
If
an entity
is an
instance
of
ratchet
and
another entity
is an
instance
of
attaching device
and
the entity
O1 is an
instance
of
rotating
and
an attribute
is an
attribute
of
the entity
O1 and
the entity
O2 is an
instance
of
rotating
and
another attribute
is an
attribute
of
the entity
O2 and
the attribute
is an
instance
of
rotational attribute
and
the other attribute
is an
instance
of
rotational attribute
and
the entity
O1 is not
equal
to
the entity
O2 and
the entity
O1
cause
s
the entity
O2 and
ratchet
is a
patient
of
the entity
O1 and
the other entity
is a
patient
of
the entity
O2,
then
the attribute
is
equal
to
the other 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
If
an entity
is an
instance
of
shaft
and
another entity
is an
instance
of
shaft
and
the entity
is not
equal
to
the other entity
and
an engineering component
is an
instance
of
rotating
and
the entity
is a
patient
of
the engineering component
and
another engineering component
is an
instance
of
rotating
and
the other entity
is a
patient
of
the other engineering component
and
the engineering component
cause
s
the other engineering component
and
a third engineering component
is an
instance
of
C.V. joint
and
the engineering component
is
connected
to
the third engineering component
and
the other engineering component
is
connected
to
the third engineering component
and
the entity
is
equal
to the rotation of
a third entity
during
a fourth entity
holds
during
the
time
of existence of
the engineering component
,
then
the other entity
is
equal
to the rotation of
the third entity
during
the fourth entity
holds
during
the
time
of existence of
the other engineering component
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3795-3797
If
a process
cause
s
another process
,
then the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other process
(=>
(
causes
?P1 ?P2)
(
relatedEvent
?P1 ?P2))
Merge.kif 3787-3789
If
a process
cause
s
another process
,
then
the other process
is a
related
event of
the process
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
A process
is performed in the manner
harmless
if and only if
the process
is not an
instance
of
damaging
and there doesn't exist
the process
2 such that
the process
2 is an
instance
of
damaging
and
the process
2 is a
subprocess
of
the process
and there doesn't exist
the process
2 such that
the process
2 is an
instance
of
damaging
and
the process
cause
s
the process
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
If
an agent
employ
s
a cognitive agent
and
a process
is an
instance
of
do network messaging
and
an object
is a
result
of
the process
and
not safe for work
is an
attribute
of
the object
and
another process
is an
instance
of
seeing
and
the object
is a
patient
of
the other process
and
the cognitive agent
is an
agent
of
the other process
,
then the statement there exists
an entity
such that
the other process
cause
s
the entity
and
the cognitive agent
suffers
from
the entity
has the
modal
force
of
possibility
(=>
(
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
If
an agent
employ
s
a cognitive agent
and
the agent
employ
s
another cognitive agent
and
a process
is an
instance
of
do network messaging
and
an object
is a
result
of
the process
and
not safe for work
is an
attribute
of
the object
and
the cognitive agent
is an
agent
of
the process
and
another process
is an
instance
of
seeing
and
the object
is a
patient
of
the other process
and
the other cognitive agent
is an
agent
of
the other process
,
then the statement there exists
the cognitive agent
ROC such that
the process
cause
s
the cognitive agent
ROC and
the cognitive agent
suffers
from
the cognitive agent
ROC has the
modal
force
of
likely
(=>
(
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
If
ennervates
a kind of nerve
and
a kind of muscle
and
an object
is an
instance
of
a kind of nerve
and
another object
is an
instance
of
a kind of muscle
and
the object
is a
part
of
a third object
and
the other object
is a
part
of
the third object
and
healthy
is an
attribute
of
the third object
and
the third object
is an
instance
of
human
,
then
the object
has the purpose there exist
the object
F and
another entity
such that
the object
F is an
instance
of
NerveFiring
and
the object
is an
instrument
for
the object
F and
the kind of muscle
is an
instance
of
MuscleContraction
and
the other object
is an
instrument
for
the other object
V and
the object
F
cause
s
the kind of 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
If
AVPU pain status
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
pain
and the
time
of existence of
the process
takes place
during
the time interval
and
the agent
experience
s
the process
,
then there exists
another process
such that
the other process
is an
instance
of
body motion
and
the agent
experience
s
the other process
and the
time
of existence of
the other process
takes place
during
the time interval
and
the process
cause
s
the other 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
If
AVPU verbal status
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
speaking
and
the process
end
s up at
the agent
and the
time
of existence of
the process
takes place
during
the time interval
,
then there exists
another process
such that
the other process
is an
instance
of
intentional process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the other process
takes place
during
the time interval
and
the process
cause
s
the other 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
If
a process
is an
instance
of
anaphylaxis
and
an agent
experience
s
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
death
and
the agent
experience
s
the entity
and
the process
cause
s
the entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
If
a process
is an
instance
of
rheumatoid arthritis
and
an agent
experience
s
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
joint pain
and
the process
cause
s
the entity
has the
modal
force
of
likely
(=>
(
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
If
a self connected object
is an
instance
of
shock
and
a process
is an
instance
of
compressing
and
a hole
is an
instance
of
hole
and
fluid
is an
attribute
of
an object
and
the self connected object
is
equal
to the
host
of the hole
the hole
and
the self connected object
contain
s
the object
and
the self connected object
is a
patient
of
the process
,
then there exists
a transfer
such that
the transfer
is an
instance
of
transfer
and the object transferred in
the transfer
is
the object
and
the hole
is
path
along which
the transfer
occurs and
the process
cause
s
the 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
If
a financial account
is an
instance
of
traditional savings account
and
a process
is an
instance
of
withdrawal
and
the process
originate
s at the
currency
of
the financial account
,
then there doesn't exist
another process
such that
the other process
is an
instance
of
penalty
and
the other process
end
s up at the
currency
of
the financial account
and
the process
cause
s
the other process
(=>
(
and
(
instance
?B
Bell
)
(
instance
?I
Impacting
)
(
destination
?I ?B))
(
exists
(?MT)
(
and
(
instance
?MT
MusicalTone
)
(
causes
?I ?MT))))
Music.kif 1256-1264
If
an entity
is an
instance
of
bell
and
a process
is an
instance
of
impacting
and
the process
end
s up at
the entity
,
then there exists
another process
such that
the other process
is an
instance
of
musical tone
and
the process
cause
s
the other 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
If
an object
is an
instance
of
brake pedal
and
a process
is an
instance
of
pushing
and
another object
is an
instance
of
vehicle
and
the process
end
s up at
the object
and
the process
is
located
at
the other object
and
the object
is a
part
of
the other object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
wearing friction surface
and
the other entity
is an
instance
of
friction
and
the entity
is an
instrument
for
the other entity
and
the process
cause
s
the other 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
If
an object
is an
instance
of
clutch
and
another object
is an
instance
of
automobile
and
a third object
is an
instance
of
engine
and
a fourth object
is an
instance
of
gearbox
and
the fourth object
EAR is an
instance
of
gear
and
the fourth object
EAR is a
part
of
the fourth object
and
the fourth object
is a
part
of
the other object
and
the object
is a
part
of
the other object
and
the third object
is a
part
of
the other object
and
a process
is an
instance
of
motion
and
the third object
is a
patient
of
the process
and
device off
is an
attribute
of
the object
,
then there exists
the process
2 such that
the process
2 is an
instance
of
motion
and
the fourth object
is a
patient
of
the process
2 and
the process
cause
s
the process
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 1817-1836
If
an object
is an
instance
of
clutch
and
another object
is an
instance
of
automobile
and
a third object
is an
instance
of
engine
and
a fourth object
is an
instance
of
gearbox
and
the fourth object
EAR is an
instance
of
gear
and
the fourth object
EAR is a
part
of
the fourth object
and
the fourth object
is a
part
of
the other object
and
the object
is a
part
of
the other object
and
the third object
is a
part
of
the other object
and
a process
is an
instance
of
motion
and
the third object
is a
patient
of
the process
and
device on
is an
attribute
of
the object
,
then there doesn't exist
the process
2 such that
the process
2 is an
instance
of
motion
and
the fourth object
is a
patient
of
the process
2 and
the process
cause
s
the process
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
If
an object
is an
instance
of
crankshaft
and
another object
is an
instance
of
intermittent combustion engine
and
the other object
is a
part
of
the object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
explosion
and
the other entity
is an
instance
of
rotating
and
the object
is a
patient
of
the other entity
and
the other entity
is
located
at
the other object
and
the entity
cause
s
the other 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
If
a process
is an
instance
of
crushing
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
object
,
then there exist
another process
and
a third process
such that
the other process
is an
instance
of
breaking
and
the process
cause
s
the other process
and
the other process
is a
subprocess
of
the third process
and
the third process
is an
instance
of
shape change
and
the entity
is a
patient
of
the other process
and
the entity
is a
patient
of
the third process
(=>
(
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
If
a financial account
is an
instance
of
certificate of deposit
and
a day
is a
maturity
date of
the financial account
and
a process
is an
instance
of
withdrawal
and
the process
originate
s at the
currency
of
the financial account
and
date
of
the process
is
another day
and the
end
of
the other day
happens
before
the
beginning
of
the day
,
then there exists
another process
such that
the other process
is an
instance
of
penalty
and
the other process
end
s up at the
currency
of
the financial account
and
the process
cause
s
the other process
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
If
a process
is an
instance
of
disgusted voice utterance
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
disgust
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?APP)
(
and
(
instance
?APP
AppraisalProcess
)
(
agent
?APP ?A)
(
causes
?APP ?EBP))))
emotion.kif 119-127
If
a process
is an
instance
of
emotional behavioral process
and
an agent
is an
agent
of
the process
,
then there exists
the agent
PP such that
the agent
PP is an
instance
of
appraisal process
and
the agent
is an
agent
of
the agent
PP and
the agent
PP
cause
s
the process
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?FE)
(
and
(
instance
?FE
FacialExpression
)
(
agent
?FE ?A)
(
causes
?EBP ?FE))))
emotion.kif 129-137
If
a process
is an
instance
of
emotional behavioral process
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
facial expression
and
the agent
is an
agent
of
the other process
and
the process
cause
s
the other 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
If
a process
is an
instance
of
evacuating
and
the process
originate
s at
a geographic area
and
a cognitive agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
process
and
the geographic area
is a
geographic
subregion of the place
where
the other process
was at the
beginning
of the
time
of existence of
the process
and
the other process
cause
s
the process
and
the cognitive agent
believe
s
dangerous
is an
attribute
of
the other process
(=>
(
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
If
a process
is an
instance
of
process
and
a human
is an
instance
of
agent
and
an experimenting
is an
instance
of
experimenting
and
the human
is a
treated
used
in
the experimenting
and
the process
is a
process
in
the experimenting
and
the human
experience
s
another process
and
the human
experience
s
the process
and
the experimenting
causes
the other process
,
then there exists
the experimenting
ERIMENTER such that
the experimenting
ERIMENTER is an
instance
of
agent
and
the experimenting
ERIMENTER is the
experimenter
in
the experimenting
and
the experimenting
ERIMENTER
believe
s the statement
the process
cause
s
the other process
has the
modal
force
of
likely
(=>
(
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
If
an object
is an
instance
of
fan belt
and
another object
is an
instance
of
engine fan
and
a third object
is an
instance
of
automobile
and
the object
is a
part
of
the third object
and
the other object
is a
part
of
the third object
and
a process
is an
instance
of
motion
and
the object
is a
patient
of
the process
,
then
the object
has the purpose there exists
the process
2 such that
the process
2 is an
instance
of
rotating
and
the process
cause
s
the process
2 and
the other object
is a
patient
of
the process
2
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2065-2073
If
a process
is an
instance
of
fearful voice utterance
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
angst
and
the agent
experience
s
the other process
and
the other process
cause
s
the 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
If
a process
is an
instance
of
hallucination
and
an agent
experience
s
the process
,
then there exist
the agent
ER and
the agent
ROP such that
the agent
ER is an
instance
of
perception
and
the agent
experience
s
the agent
ER and
the process
cause
s
the agent
ER and
the agent
ER
contain
s information
the agent
ROP and
the agent
ROP
is
false
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