TreeView Knowledge Base Browser

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 AgentCTION and Process agent AgentCTION 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 EntityO1 and Rotating attribute EntityO1 and Attribute instance EntityO2 and Rotating attribute EntityO2 and Attribute instance Attribute and RotationalAttribute instance Attribute and RotationalAttribute equal EntityO1 and EntityO2 causes EntityO1 and EntityO2 patient EntityO1 and Ratchet patient EntityO2 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 を contains %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 ObjectEAR and Gear part ObjectEAR 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 ObjectEAR and Gear part ObjectEAR 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 AgentPP instance AgentPP and AppraisalProcess agent AgentPP and Agent causes AgentPP 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 ExperimentingERIMENTER instance ExperimentingERIMENTER and Agent experimenter Experimenting and ExperimentingERIMENTER believes ExperimentingERIMENTER 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 AgentER instance AgentER and Perception experiencer AgentER and Agent causes Process and AgentER containsInformation AgentER and AgentROP truth AgentROP 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 AgentSUPER and Organization instance Process and Requesting agent Process and AgentSUPER attribute AgentSUPER and MilitaryCommander subordinatePosition Organization, Agent and AgentSUPER 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)

KB Term:			Term intersection

English Word: