Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 3760-3762
(
domain
causes
1
Process
)
Merge.kif 3755-3755
The number 1 argument of
causes
is an
instance
of
process
(
domain
causes
2
Process
)
Merge.kif 3756-3756
The number 2 argument of
causes
is an
instance
of
process
(
instance
causes
AsymmetricRelation
)
Merge.kif 3754-3754
causes
is an
instance
of
asymmetric relation
(
instance
causes
BinaryPredicate
)
Merge.kif 3753-3753
causes
is an
instance
of
binary predicate
(
relatedInternalConcept
causes
causesSubclass
)
Merge.kif 3757-3757
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
(
termFormat
ChineseLanguage
causes
"原因")
domainEnglishFormat.kif 13498-13498
(
termFormat
ChineseLanguage
causes
"引起")
chinese_format.kif 72-72
(
termFormat
ChineseTraditionalLanguage
causes
"原因")
domainEnglishFormat.kif 13497-13497
(
termFormat
EnglishLanguage
causes
"causes")
domainEnglishFormat.kif 13496-13496
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 1832-1842
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 3344-3354
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 3529-3536
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
?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 3772-3774
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 3764-3766
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 30212-30226
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
(
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 1255-1263
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
?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 4563-4580
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 6389-6399
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
(=>
(
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 3447-3476
If
a wearable item
is an
instance
of
hearing protection
and
an animal
is an
instance
of
human
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
and
the wearable item
is an
instrument
for
the entity
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
If
a process
is an
instance
of
happy 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
happiness
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12172-12180
If
a process
is an
instance
of
killing
and
an agent
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
death
and
the agent
experience
s
the other process
and
the process
cause
s
the other process
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25730-25747
If
a physical
is an
instance
of
knock light
and
the physical
is
located
at
an object
and
the object
is an
instance
of
room
and
another object
is an
instance
of
door
and
the other object
is a
part
of
the object
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
impacting
and
the other object
is a
patient
of
the entity
and
the entity
cause
s
the other entity
and
the other entity
is an
instance
of
radiating sound
and
the other object
is an
agent
of
the other entity
and
the other entity
cause
s
the third entity
and
the third entity
is an
instance
of
radiating visible light
and
the physical
is an
instrument
for
the third entity
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8560-8570
If
an object
is an
instance
of
poison
and
a motion
is an
instance
of
ingesting
and
the object
moves during
the motion
and
an agent
experience
s
the motion
,
then there exists
a process
such that
the process
is an
instance
of
damaging
and
the agent
experience
s
the process
and
the motion
cause
s
the process
(=>
(
and
(
instance
?PLANNING
OperationPlanning
)
(
agent
?PLANNING ?COMMANDER))
(
or
(
and
(
instance
?COMMANDER
CombatantCommander
)
(
exists
(?REQUEST ?CHAIRMAN)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?CHAIRMAN)
(
attribute
?CHAIRMAN
ChairmanJCS
)
(
causes
?REQUEST ?PLANNING))))
(
and
(
instance
?COMMANDER
SubunifiedCommander
)
(
exists
(?REQUEST ?COMMANDERSUPER ?MILITARY)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?COMMANDERSUPER)
(
attribute
?COMMANDERSUPER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?COMMANDER ?COMMANDERSUPER)
(
instance
?MILITARY
MilitaryForce
)
(
causes
?REQUEST ?PLANNING))))))
MilitaryProcesses.kif 1582-1604
If
a process
is an
instance
of
operation planning
and
an agent
is an
agent
of
the process
,
then
the agent
is an
instance
of
combatant commander
and there exist
another process
and
another agent
such that
the other process
is an
instance
of
requesting
and
the other agent
is an
agent
of
the other process
and
chairmanJC s
is an
attribute
of
the other agent
and
the other process
cause
s
the process
or
the agent
is an
instance
of
subunified commander
and there exist
the other process
,
the agent
SUPER and
an organization
such that
the other process
is an
instance
of
requesting
and
the agent
SUPER is an
agent
of
the other process
and
military commander
is an
attribute
of
the agent
SUPER and
the organization
is
subordinate
position
the agent
for
the agent
SUPER and
the organization
is an
instance
of
military force
and
the other process
cause
s
the process
(=>
(
and
(
instance
?PROC
DiagnosticProcess
)
(
agent
?PROC ?AGENT))
(
exists
(?CAUSE)
(
hasPurposeForAgent
?PROC
(
knows
?AGENT
(
causes
?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12817-12822
If
a process
is an
instance
of
diagnostic process
and
an agent
is an
agent
of
the process
,
then there exists
an entity
such that
the process
has the purpose
the agent
know
s
the entity
cause
s
the process
for
the agent
(=>
(
and
(
instance
?S
Sentencing
)
(
patient
?S ?P))
(
exists
(?C)
(
and
(
causes
?C ?S)
(
instance
?C
LegalConviction
)
(
patient
?C ?P)
(
earlier
(
WhenFn
?C)
(
WhenFn
?S)))))
Mid-level-ontology.kif 16093-16102
If
a process
is an
instance
of
sentencing
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
cause
s
the process
and
the other process
is an
instance
of
legal conviction
and
the entity
is a
patient
of
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
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