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 3702-3704
(
domain
causes
1
Process
)
Merge.kif 3697-3697
(
domain
causes
2
Process
)
Merge.kif 3698-3698
(
instance
causes
AsymmetricRelation
)
Merge.kif 3696-3696
(
instance
causes
BinaryPredicate
)
Merge.kif 3695-3695
(
relatedInternalConcept
causes
causesSubclass
)
Merge.kif 3699-3699
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 13503-13503
(
termFormat
ChineseLanguage
causes
"引起")
chinese_format.kif 72-72
(
termFormat
ChineseTraditionalLanguage
causes
"原因")
domainEnglishFormat.kif 13502-13502
(
termFormat
EnglishLanguage
causes
"causes")
domainEnglishFormat.kif 13501-13501
antecedent
(=>
(
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 2439-2444
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2169-2176
(=>
(
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
(=>
(
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 4930-4945
(=>
(
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
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3714-3716
(=>
(
causes
?P1 ?P2)
(
relatedEvent
?P1 ?P2))
Merge.kif 3706-3708
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 29674-29688
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
Hole
)
(
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
(=>
(
and
(
instance
?B
Bell
)
(
instance
?I
Impacting
)
(
destination
?I ?B))
(
exists
(?MT)
(
and
(
instance
?MT
MusicalTone
)
(
causes
?I ?MT))))
Music.kif 1249-1257
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2008-2016
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?APP)
(
and
(
instance
?APP
AppraisalProcess
)
(
agent
?APP ?A)
(
causes
?APP ?EBP))))
emotion.kif 119-127
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?FE)
(
and
(
instance
?FE
FacialExpression
)
(
agent
?FE ?A)
(
causes
?EBP ?FE))))
emotion.kif 129-137
(=>
(
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 2515-2529
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
Agent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
Agent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4561-4578
(=>
(
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
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2073-2081
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 6098-6108
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1991-1999
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12083-12091
(=>
(
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 25188-25205
(=>
(
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 8203-8213
(=>
(
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
(=>
(
and
(
instance
?PROC
DiagnosticProcess
)
(
agent
?PROC ?AGENT))
(
exists
(?CAUSE)
(
hasPurposeForAgent
?PROC
(
knows
?AGENT
(
causes
?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12716-12721
(=>
(
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 15671-15680
(=>
(
and
(
instance
?SS
StayingStill
)
(
experiencer
?SS ?A))
(
not
(
exists
(?B ?T)
(
and
(
instance
?B
BodyMotion
)
(
instance
?T
Translocation
)
(
causes
?B ?T)
(
agent
?B ?A)))))
emotion.kif 1531-1541
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1975-1983
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1936-1944
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