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
, 1 and
Process
(
domain
causes
2
Process
)
Merge.kif 3698-3698
domain
causes
, 2 and
Process
(
instance
causes
AsymmetricRelation
)
Merge.kif 3696-3696
instance
causes
and
AsymmetricRelation
(
instance
causes
BinaryPredicate
)
Merge.kif 3695-3695
instance
causes
and
BinaryPredicate
(
relatedInternalConcept
causes
causesSubclass
)
Merge.kif 3699-3699
relatedInternalConcept
causes
and
causesSubclass
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
instance
Process
and
AbortedMissionFn
Agent
and
MilitaryOperation
causes
Agent
CTION and
Process
agent
Agent
CTION and
entity
_A
agent
MilitaryOperation
and
entity
_A
enemy
entity
_A and
entity
_A
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2169-2176
instance
Process
and
CheckInService
causes
Process
and
Process
instance
Physical
and
CheckOutService
finishes
WhenFn
Physical
and
WhenFn
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
instance
Process
and
Motion
instance
Process
and
Tremor
instance
Object
and
Damper
patient
Process
and
Object
part
Object
and
Object
causes
Process
and
Process
instance
Entity
and
UnitOfLength
holdsDuring
WhenFn
Process
and
physicalAmplitude
Process
and
MeasureFn
RealNumber
and
Entity
holdsDuring
ImmediateFutureFn
Process
and
physicalAmplitude
Process
and
MeasureFn
RealNumber
and
Entity
greaterThan
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 4930-4945
instance
Entity
and
Ratchet
instance
Entity
and
AttachingDevice
instance
Entity
O1 and
Rotating
attribute
Entity
O1 and
Attribute
instance
Entity
O2 and
Rotating
attribute
Entity
O2 and
Attribute
instance
Attribute
and
RotationalAttribute
instance
Attribute
and
RotationalAttribute
equal
Entity
O1 and
Entity
O2
causes
Entity
O1 and
Entity
O2
patient
Entity
O1 and
Ratchet
patient
Entity
O2 and
Entity
equal
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
instance
Entity
and
Shaft
instance
Entity
and
Shaft
equal
Entity
and
Entity
instance
EngineeringComponent
and
Rotating
patient
EngineeringComponent
and
Entity
instance
EngineeringComponent
and
Rotating
patient
EngineeringComponent
and
Entity
causes
EngineeringComponent
and
EngineeringComponent
instance
EngineeringComponent
and
CVJoint
connectedEngineeringComponents
EngineeringComponent
and
EngineeringComponent
connectedEngineeringComponents
EngineeringComponent
and
EngineeringComponent
holdsDuring
WhenFn
EngineeringComponent
and
equal
Entity
and
RotationFn
entity
and
entity
holdsDuring
WhenFn
EngineeringComponent
and
equal
Entity
and
RotationFn
entity
and
entity
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3714-3716
causes
Process
and
Process
earlier
WhenFn
Process
and
WhenFn
Process
(=>
(
causes
?P1 ?P2)
(
relatedEvent
?P1 ?P2))
Merge.kif 3706-3708
causes
Process
and
Process
relatedEvent
Process
and
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 29674-29688
manner
Process
and
Harmless
instance
Process
and
Damaging
Process
instance
Process
and
Damaging
subProcess
Process
and
Process
Process
instance
Process
and
Damaging
causes
Process
and
Process
(=>
(
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
instance
SelfConnectedObject
and
AutomobileShock
instance
Process
and
Compressing
instance
Hole
and
Hole
attribute
Object
and
Fluid
equal
SelfConnectedObject
and
HoleHostFn
Hole
SelfConnectedObject
は
Object
を
contain
s %n{ない}
patient
Process
and
SelfConnectedObject
Transfer
instance
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
path
Transfer
and
Hole
causes
Process
and
Transfer
(=>
(
and
(
instance
?B
Bell
)
(
instance
?I
Impacting
)
(
destination
?I ?B))
(
exists
(?MT)
(
and
(
instance
?MT
MusicalTone
)
(
causes
?I ?MT))))
Music.kif 1249-1257
instance
Entity
and
Bell
instance
Process
and
Impacting
destination
Process
and
Entity
Process
instance
Process
and
MusicalTone
causes
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
instance
Object
and
BrakePedal
instance
Process
and
Pushing
instance
Object
and
Vehicle
destination
Process
and
Object
eventLocated
Process
and
Object
part
Object
and
Object
hasPurpose
Object
and
entity
entity
instance
entity
and
WearingFrictionSurface
instance
entity
and
Friction
instrument
entity
and
entity
causes
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
instance
Object
and
Clutch
instance
Object
and
Automobile
instance
Object
and
Engine
instance
Object
and
Gearbox
instance
Object
EAR and
Gear
part
Object
EAR and
Object
part
Object
and
Object
part
Object
and
Object
part
Object
and
Object
instance
Process
and
Motion
patient
Process
and
Object
attribute
Object
and
DeviceOff
Process
instance
Process
and
Motion
patient
Process
and
Object
causes
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
instance
Object
and
Clutch
instance
Object
and
Automobile
instance
Object
and
Engine
instance
Object
and
Gearbox
instance
Object
EAR and
Gear
part
Object
EAR and
Object
part
Object
and
Object
part
Object
and
Object
part
Object
and
Object
instance
Process
and
Motion
patient
Process
and
Object
attribute
Object
and
DeviceOn
Process
instance
Process
and
Motion
patient
Process
and
Object
causes
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
instance
Object
and
Crankshaft
instance
Object
and
IntermittentCombustionEngine
part
Object
and
Object
hasPurpose
Object
and
entity
entity
instance
entity
and
Explosion
instance
entity
and
Rotating
patient
entity
and
Object
eventLocated
entity
and
Object
causes
entity
and
entity
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2008-2016
instance
Process
and
DisgustedVoiceUtterance
agent
Process
and
Agent
Process
instance
Process
and
Disgust
experiencer
Process
and
Agent
causes
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
instance
Process
and
EmotionalBehavioralProcess
agent
Process
and
Agent
Agent
PP
instance
Agent
PP and
AppraisalProcess
agent
Agent
PP and
Agent
causes
Agent
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
instance
Process
and
EmotionalBehavioralProcess
agent
Process
and
Agent
Process
instance
Process
and
FacialExpression
agent
Process
and
Agent
causes
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 2515-2529
instance
Process
and
Evacuation
origin
Process
and
GeographicArea
agent
Process
and
CognitiveAgent
Process
instance
Process
and
Process
geographicSubregion
GeographicArea
and
WhereFn
Process
and
BeginFn
WhenFn
Process
causes
Process
and
Process
believes
CognitiveAgent
and
attribute
Process
and
Dangerous
(=>
(
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
instance
Process
and
Process
instance
Human
and
Agent
instance
Experimenting
and
Experimenting
treatedUser
Human
and
Experimenting
experimentalVariableProcess
Experimenting
and
Process
experiencer
Process
and
Human
experiencer
Process
and
Human
exclusiveEvent
Experimenting
and
Process
Experimenting
ERIMENTER
instance
Experimenting
ERIMENTER and
Agent
experimenter
Experimenting
and
Experimenting
ERIMENTER
believes
Experimenting
ERIMENTER and
modalAttribute
causes
Process
and
Process
and
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
instance
Object
and
FanBelt
instance
Object
and
EngineFan
instance
Object
and
Automobile
part
Object
and
Object
part
Object
and
Object
instance
Process
and
Motion
patient
Process
and
Object
hasPurpose
Object
and
Process
instance
Process
and
Rotating
causes
Process
and
Process
patient
Process
and
Object
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2073-2081
instance
Process
and
FearfulVoiceUtterance
agent
Process
and
Agent
Process
instance
Process
and
Fear
experiencer
Process
and
Agent
causes
Process
and
Process
(=>
(
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
instance
Process
and
Hallucination
experiencer
Process
and
Agent
Agent
ER
instance
Agent
ER and
Perception
experiencer
Agent
ER and
Agent
causes
Process
and
Agent
ER
containsInformation
Agent
ER and
Agent
ROP
truth
Agent
ROP and
False
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1991-1999
instance
Process
and
HappyVoiceUtterance
agent
Process
and
Agent
Process
instance
Process
and
Happiness
experiencer
Process
and
Agent
causes
Process
and
Process
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12083-12091
instance
Process
and
Killing
patient
Process
and
Agent
Process
instance
Process
and
Death
experiencer
Process
and
Agent
causes
Process
and
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 25188-25205
instance
Physical
and
KnockLight
located
Physical
and
Object
instance
Object
and
Room
instance
Object
and
Door
part
Object
and
Object
hasPurpose
Physical
and
entity
entity
and
entity
instance
entity
and
Impacting
patient
entity
and
Object
causes
entity
and
entity
instance
entity
and
RadiatingSound
agent
entity
and
Object
causes
entity
and
entity
instance
entity
and
RadiatingVisibleLight
instrument
entity
and
Physical
(=>
(
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
instance
Object
and
Poison
instance
Motion
and
Ingesting
moves
Motion
and
Object
experiencer
Motion
and
Agent
Process
instance
Process
and
Damaging
experiencer
Process
and
Agent
causes
Motion
and
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
instance
Process
and
OperationPlanning
agent
Process
and
Agent
instance
Agent
and
CombatantCommander
Process
Agent
instance
Process
and
Requesting
agent
Process
and
Agent
attribute
Agent
and
ChairmanJCS
causes
Process
and
Process
instance
Agent
and
SubunifiedCommander
Process
Agent
SUPER and
Organization
instance
Process
and
Requesting
agent
Process
and
Agent
SUPER
attribute
Agent
SUPER and
MilitaryCommander
subordinatePosition
Organization
,
Agent
and
Agent
SUPER
instance
Organization
and
MilitaryForce
causes
Process
and
Process
(=>
(
and
(
instance
?PROC
DiagnosticProcess
)
(
agent
?PROC ?AGENT))
(
exists
(?CAUSE)
(
hasPurposeForAgent
?PROC
(
knows
?AGENT
(
causes
?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12716-12721
instance
Process
and
DiagnosticProcess
agent
Process
and
Agent
entity
hasPurposeForAgent
Process
,
knows
Agent
and
causes
entity
and
Process
and
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 15671-15680
instance
Process
and
Sentencing
patient
Process
and
Entity
Process
causes
Process
and
Process
instance
Process
and
LegalConviction
patient
Process
and
Entity
earlier
WhenFn
Process
and
WhenFn
Process
(=>
(
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
instance
Process
and
StayingStill
experiencer
Process
and
Agent
Process
Process
instance
Process
and
BodyMotion
instance
Process
and
Translocation
causes
Process
and
Process
agent
Process
and
Agent
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1975-1983
instance
Process
and
SadVoiceUtterance
agent
Process
and
Agent
Process
instance
Process
and
Sadness
experiencer
Process
and
Agent
causes
Process
and
Process
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1936-1944
instance
Process
and
SurprisedVoiceUtterance
agent
Process
and
Agent
Process
instance
Process
and
Surprise
experiencer
Process
and
Agent
causes
Process
and
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