Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - causes
causes

appearance as argument number 1
-------------------------


(documentation causes ChineseLanguage "这是 Process 实例之间的因果关系, (causes ?PROCESS1 ?PROCESS2)的意思是 Process ?PROCESS1 的实例引起 Process ?PROCESS2 的 实例。") Merge.kif 3900-3902
(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 3897-3899
(domain causes 1 Process) Merge.kif 3893-3893 domain causes, 1 and 工程
(domain causes 2 Process) Merge.kif 3894-3894 domain causes, 2 and 工程
(instance causes AsymmetricRelation) Merge.kif 3892-3892 instance causes and 非対称関係
(instance causes BinaryPredicate) Merge.kif 3891-3891 instance causes and 2進述語
(relatedInternalConcept causes causesSubclass) Merge.kif 3895-3895 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 62-62
(termFormat ChineseLanguage causes "引起") chinese_format.kif 72-72 termFormat ChineseLanguage, causes and "引起"
(termFormat EnglishLanguage causes "causes") domainEnglishFormat.kif 2673-2673 termFormat EnglishLanguage, causes and "causes"

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 1756-1766 instance 工程 and Withdrawal instance FinancialAccount and FinancialAccount origin 工程 and CurrencyFn FinancialAccount 工程 instance 工程 and Penalty destination 工程 and CurrencyFn FinancialAccount causes 工程 and 工程 liquidity FinancialAccount and HighLiquidity
(<=>
    (exists (?Income ?Tax ?TaxAmount)
        (and
            (incomeEarned ?Agent ?Income ?Activity)
            (amountCharged ?Tax ?TaxAmount)
            (causes ?Activity ?Tax)
            (equal ?ATIncome
                (SubtractionFn ?Income ?TaxAmount))))
    (afterTaxIncome ?Agent ?ATIncome ?Activity))
FinancialOntology.kif 3222-3229 通貨測定 ChargingAFee and ChargingAFeeAmount incomeEarned 人[人間], 通貨測定 and 組織プロセス amountCharged ChargingAFee and ChargingAFeeAmount causes 組織プロセス and ChargingAFee equal 通貨測定 and SubtractionFn 通貨測定 and ChargingAFeeAmount afterTaxIncome 人[人間], 通貨測定 and 組織プロセス
(=>
    (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 2407-2412
(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))
FinancialOntology.kif 3407-3414
(=>
    (and
        (instance ?CHECKIN CheckInService)
        (causes ?CHECKIN ?SERVICE)
        (instance ?CHECKOUT CheckOutService))
    (finishes
        (WhenFn ?CHECKOUT)
        (WhenFn ?SERVICE)))
Hotel.kif 2137-2144
(=>
    (and
        (instance ?E Motion)
        (instance ?T Tremor)
        (instance ?D Damper)
        (patient ?T ?O)
        (part ?D ?O)
        (causes ?E ?T)
        (holdsDuring
            (WhenFn ?E)
            (physicalAmplitude ?T ?A1))
        (holdsDuring
            (ImmediateFutureFn ?E)
            (physicalAmplitude ?T ?A2)))
    (greaterThan ?A1 ?A2))
Cars.kif 773-785
(=>
    (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 4898-4913
(=>
    (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 2100-2119
(=>
    (causes ?P1 ?P2)
    (earlier
        (WhenFn ?P1)
        (WhenFn ?P2)))
Merge.kif 3912-3914
(=>
    (causes ?P1 ?P2)
    (relatedEvent ?P1 ?P2))
Merge.kif 3904-3906

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 28435-28449 manner 工程 and Harmless instance 工程 and 損害を与える 工程 instance 工程 and 損害を与える subProcess 工程 and 工程 工程 instance 工程 and 損害を与える causes 工程 and 工程
(=>
    (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 861-875
(=>
    (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 1060-1069
(=>
    (and
        (instance ?B Bell)
        (instance ?I Impacting)
        (destination ?I ?B))
    (exists (?MT)
        (and
            (instance ?MT MusicalTone)
            (causes ?I ?MT))))
Music.kif 1254-1262
(=>
    (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 1833-1851
(=>
    (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 1812-1831
(=>
    (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 ?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 1032-1044
(=>
    (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 2483-2497
(=>
    (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 4552-4569
(=>
    (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 2711-2725
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?OBJ))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?OBJ)
            (causes ?KILL ?DEATH))))
Merge.kif 12253-12261
(=>
    (and
        (instance ?KL KnockLight)
        (instance ?ROOM Room)
        (located ?KL ?ROOM)
        (instance ?DOOR Door)
        (part ?DOOR ?ROOM))
    (hasPurpose ?KL
        (exists (?SOUND ?LIGHT ?IMPACT)
            (and
                (instance ?IMPACT Impacting)
                (patient ?IMPACT ?DOOR)
                (causes ?IMPACT ?SOUND)
                (instance ?SOUND RadiatingSound)
                (agent ?SOUND ?DOOR)
                (causes ?SOUND ?LIGHT)
                (instance ?LIGHT RadiatingLight)
                (agent ?LIGHT ?KL)))))
Mid-level-ontology.kif 23737-23754
(=>
    (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 1550-1572
(=>
    (and
        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC
            (knows ?AGENT
                (causes ?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12891-12896
(=>
    (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 13896-13905
(=>
    (and
        (instance ?X CarAlarm)
        (instance ?CAR SelfPoweredRoadVehicle)
        (part ?X ?CAR))
    (hasPurpose ?X
        (=>
            (and
                (or
                    (instance ?HARM Stealing)
                    (instance ?HARM Damaging))
                (instance ?THIEF Human)
                (agent ?HARM ?THIEF)
                (patient ?HARM ?CAR)
                (equal
                    (WhenFn ?HARM) ?T)
                (eventPartlyLocated ?HARM ?L))
            (exists (?ALARM)
                (and
                    (instance ?ALARM RadiatingSound)
                    (agent ?ALARM ?X)
                    (causes ?HARM ?ALARM)
                    (hasPurpose ?ALARM
                        (increasesLikelihood
                            (exists (?WITNESS)
                                (and
                                    (instance ?WITNESS Human)
                                    (holdsDuring ?T
                                        (orientation ?WITNESS ?L Near))))
                            (or
                                (knows ?WITNESS
                                    (exists (?H)
                                        (and
                                            (or
                                                (instance ?H Stealing)
                                                (instance ?H Damaging))
                                            (eventPartlyLocated ?H ?L)
                                            (holdsDuring ?T
                                                (patient ?H ?CAR)))))
                                (finishes
                                    (WhenFn ?ALARM)
                                    (WhenFn ?HARM))))))))))
Cars.kif 3677-3717
(=>
    (and
        (instance ?X DutyTax)
        (refers ?X ?OBJ)
        (patient ?X ?OBJ))
    (exists (?T ?N1 ?N2)
        (and
            (instance ?T Transfer)
            (patient ?T ?OBJ)
            (origin ?T ?N1)
            (destination ?T ?N2)
            (instance ?N1 Nation)
            (instance ?N2 Nation)
            (not
                (equal ?N1 ?N2))
            (earlier
                (WhenFn ?T)
                (WhenFn ?X))
            (causes ?T ?X))))
FinancialOntology.kif 894-909
(=>
    (and
        (taxDeferredIncome ?Agent ?Income ?Activity)
        (time ?Activity ?Time))
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (causes ?Activity ?Tax)
                (time ?Tax ?Time)))))
FinancialOntology.kif 3203-3212
(=>
    (attribute ?M CoinOperated)
    (hasPurpose ?M
        (exists (?C ?FT ?A ?ACT)
            (and
                (instance ?C CurrencyCoin)
                (instance ?FT FinancialTransaction)
                (destination ?FT ?M)
                (patient ?FT ?C)
                (origin ?FT ?A)
                (causes ?FT ?ACT)
                (wants ?A ?ACT)))))
Mid-level-ontology.kif 27644-27655
(=>
    (attribute ?P Comedian)
    (exists (?PERF ?L)
        (and
            (instance ?PERF Performance)
            (agent ?PREF ?P)
            (instance ?L Laughing)
            (causes ?PERF ?L))))
Mid-level-ontology.kif 16380-16387
(=>
    (causesSubclass ?PROC1 ?PROC2)
    (forall (?INST2)
        (=>
            (instance ?INST2 ?PROC2)
            (exists (?INST1)
                (and
                    (instance ?INST1 ?PROC1)
                    (causes ?INST1 ?INST2))))))
Merge.kif 3929-3937
(=>
    (counselInCase ?H ?A ?L)
    (desires ?H
        (exists (?LD)
            (and
                (instance ?LD LegalDecision)
                (causes ?L ?LD)
                (benefits ?LD ?A)))))
Law.kif 504-511
(=>
    (holdsDuring ?T1
        (prohibits ?A ?F))
    (exists (?S)
        (and
            (instance ?S Stating)
            (agent ?S ?A)
            (containsFormula ?S
                (=>
                    (causes
                        (agent ?P ?B)
                        (truth ?F true))
                    (punishes ?A ?B))))))
Law.kif 78-90

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners