| 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 3778-3780 | |
| (documentation causes JapaneseLanguage "Process の インスタンス間の因果関係。 (causes ?PROCESS1 ?PROCESS2) とは、 Process ?PROCESS1 の インスタンスが Process ?PROCESS2のインスタンスをもたらすことを意味する。") | japanese_format.kif 711-713 | |
| (domain causes 1 Process) | Merge.kif 3773-3773 | |
| (domain causes 2 Process) | Merge.kif 3774-3774 | |
| (instance causes AsymmetricRelation) | Merge.kif 3772-3772 | |
| (instance causes BinaryPredicate) | Merge.kif 3771-3771 | |
| (relatedInternalConcept causes causesSubclass) | Merge.kif 3775-3775 |
| 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 | |
| (format FrenchLanguage causes "%1 %n{ne} cause %n{pas} %2") | french_format.kif 60-60 | |
| (format ItalianLanguage causes "%1 %n{non} causa%p{s} %2") | relations-it.txt 42-42 | |
| (format JapaneseLanguage causes "%1 は %2 を cause%p{s} %n{ない}") | japanese_format.kif 1884-1884 | |
| (format PortugueseLanguage causes "%1 causa %2") | portuguese_format.kif 12-12 | |
| (format cb causes "%1 %n ay naghatag %2") | relations-cb.txt 76-76 | |
| (format cz causes "%1 %n{doesn't} cause%p{s} %2") | relations-cz.txt 114-114 | |
| (format de causes "%1 verursacht %2 %n{nicht}") | relations-de.txt 77-77 | |
| (format hi causes "%1 %2 kaa kaaraNa %n hai") | relations-hindi.txt 84-84 | |
| (format ro causes "%1 %n{nu} cause%t{produce} %2") | relations-ro.kif 79-79 | |
| (format sv causes "%1 orsakar %n{inte} %2") | relations-sv.txt 59-59 | |
| (format tg causes "%1 %n ay nagbibigay %2") | relations-tg.txt 100-100 | |
| (termFormat ChineseLanguage causes "原因") | domainEnglishFormat.kif 13515-13515 | |
| (termFormat ChineseLanguage causes "引起") | chinese_format.kif 72-72 | |
| (termFormat ChineseTraditionalLanguage causes "原因") | domainEnglishFormat.kif 13514-13514 | |
| (termFormat EnglishLanguage causes "causes") | domainEnglishFormat.kif 13513-13513 | |
| (termFormat de causes "verursacht") | terms-de.txt 20-20 | |
| (termFormat tg causes "nagbibigay") | relations-tg.txt 101-101 |
| 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 | |
| (=> (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 3345-3355 | |
| (=> (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 | |
| (=> (and (instance ?Authorization AuthorizationOfTransaction) (instance ?Transaction FinancialTransaction) (instance ?Card BankCard) (instrument ?Transaction ?Card) (causes ?Authorization ?Transaction)) (instance ?Card ValidCard)) |
FinancialOntology.kif 3530-3537 | |
| (=> (and (instance ?B Bleeding) (instance ?D Death) (instance ?H Human) (instance ?P Human) (experiencer ?B ?P) (orientation ?H ?P Near) (modalAttribute (causes ?B ?D) Likely)) (holdsObligation ?H (exists (?A) (and (instance ?A ApplyingTourniquet) (agent ?A ?H) (destination ?A ?P))))) |
Medicine.kif 44-59 | |
| (=> (and (instance ?CHECKIN CheckInService) (causes ?CHECKIN ?SERVICE) (instance ?CHECKOUT CheckOutService)) (finishes (WhenFn ?CHECKOUT) (WhenFn ?SERVICE))) |
Hotel.kif 2196-2203 | |
| (=> (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 4988-5003 | |
| (=> (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 2098-2117 | |
| (=> (causes ?P1 ?P2) (earlier (WhenFn ?P1) (WhenFn ?P2))) |
Merge.kif 3790-3792 | |
| (=> (causes ?P1 ?P2) (relatedEvent ?P1 ?P2)) |
Merge.kif 3782-3784 |
| 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 31960-31974 | |
| (=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death))))) |
Transportation.kif 4197-4221 | |
| (=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility)) |
Medicine.kif 3025-3039 | |
| (=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely)) |
Medicine.kif 3007-3023 | |
| (=> (and (ennervates ?NC ?MC) (instance ?N ?NC) (instance ?M ?MC) (part ?N ?H) (part ?M ?H) (attribute ?H Healthy) (instance ?H Human)) (hasPurpose ?N (exists (?NF ?C) (and (instance ?NF NerveFiring) (instrument ?NF ?N) (instance ?MC MuscleContraction) (instrument ?MV ?M) (causes ?NF ?MC))))) |
Anatomy.kif 1922-1938 | |
| (=> (and (holdsDuring ?T (attribute ?H AVPUPainStatus)) (instance ?P Pain) (during (WhenFn ?P) ?T) (experiencer ?P ?H)) (exists (?BM) (and (instance ?BM BodyMotion) (experiencer ?BM ?H) (during (WhenFn ?BM) ?T) (causes ?P ?BM)))) |
Medicine.kif 6451-6463 | |
| (=> (and (holdsDuring ?T (attribute ?H AVPUVerbalStatus)) (instance ?S Speaking) (destination ?S ?H) (during (WhenFn ?S) ?T)) (exists (?IA) (and (instance ?IA IntentionalProcess) (agent ?IA ?H) (during (WhenFn ?IA) ?T) (causes ?S ?IA)))) |
Medicine.kif 6428-6440 | |
| (=> (and (instance ?A Anaphylaxis) (experiencer ?A ?H)) (modalAttribute (exists (?D) (and (instance ?D Death) (experiencer ?D ?H) (causes ?A ?D))) Possibility)) |
Medicine.kif 1533-1543 | |
| (=> (and (instance ?A RheumatoidArthritis) (experiencer ?A ?H)) (modalAttribute (exists (?JP) (and (instance ?JP JointPain) (causes ?A ?JP))) Likely)) |
Medicine.kif 2215-2224 | |
| (=> (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 | |
| (=> (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 | |
| (=> (and (instance ?B Bell) (instance ?I Impacting) (destination ?I ?B)) (exists (?MT) (and (instance ?MT MusicalTone) (causes ?I ?MT)))) |
Music.kif 1256-1264 | |
| (=> (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 1822-1840 | |
| (=> (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 1801-1820 | |
| (=> (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 ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?B ?SC) (and (instance ?B Breaking) (causes ?C ?B) (subProcess ?B ?SC) (instance ?SC ShapeChange) (patient ?B ?O) (patient ?SC ?O)))) |
Food.kif 980-992 | |
| (=> (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 | |
| (=> (and (instance ?DVU DisgustedVoiceUtterance) (agent ?DVU ?A)) (exists (?D) (and (instance ?D Disgust) (experiencer ?D ?A) (causes ?D ?DVU)))) |
emotion.kif 2000-2008 | |
| (=> (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 2548-2562 | |
| (=> (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 4357-4374 | |
| (=> (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 2714-2728 | |
| (=> (and (instance ?G Substance) (attribute ?G OxidizingSubstance)) (exists (?R) (and (instance ?R Releasing) (patient ?R Oxygen) (capability Releasing origin ?G) (modalAttribute (exists (?C) (and (instance ?C Combustion) (causes ?R ?C))) Possibility)))) |
Transportation.kif 4174-4187 | |
| 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 3.0 is open source software produced by Articulate Software and its partners