| 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 3770-3772 | |
| (documentation causes JapaneseLanguage "Process の インスタンス間の因果関係。 (causes ?PROCESS1 ?PROCESS2) とは、 Process ?PROCESS1 の インスタンスが Process ?PROCESS2のインスタンスをもたらすことを意味する。") | japanese_format.kif 711-713 | |
| (domain causes 1 Process) | Merge.kif 3765-3765 | |
| (domain causes 2 Process) | Merge.kif 3766-3766 | |
| (instance causes AsymmetricRelation) | Merge.kif 3764-3764 | |
| (instance causes BinaryPredicate) | Merge.kif 3763-3763 | |
| (relatedInternalConcept causes causesSubclass) | Merge.kif 3767-3767 |
| 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 13505-13505 | |
| (termFormat ChineseLanguage causes "引起") | chinese_format.kif 72-72 | |
| (termFormat ChineseTraditionalLanguage causes "原因") | domainEnglishFormat.kif 13504-13504 | |
| (termFormat EnglishLanguage causes "causes") | domainEnglishFormat.kif 13503-13503 | |
| (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 3344-3354 | |
| (=> (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 3529-3536 | |
| (=> (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 4927-4942 | |
| (=> (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 3782-3784 | |
| (=> (causes ?P1 ?P2) (relatedEvent ?P1 ?P2)) |
Merge.kif 3774-3776 |
| 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 30401-30415 | |
| (=> (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 1255-1263 | |
| (=> (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 ?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 2516-2530 | |
| (=> (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 4563-4580 | |
| (=> (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 2065-2073 | |
| (=> (and (instance ?H Hallucination) (experiencer ?H ?P)) (exists (?PER ?PROP) (and (instance ?PER Perception) (experiencer ?PER ?P) (causes ?H ?PER) (containsInformation ?PER ?PROP) (truth ?PROP False)))) |
Mid-level-ontology.kif 6396-6406 | |
| (=> (and (instance ?HP HearingProtection) (instance ?PERSON Human) (wears ?PERSON ?HP)) (hasPurpose ?HP (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN ?T) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP))))) |
Cars.kif 3447-3476 | |
| (=> (and (instance ?HVU HappyVoiceUtterance) (agent ?HVU ?A)) (exists (?H) (and (instance ?H Happiness) (experiencer ?H ?A) (causes ?H ?HVU)))) |
emotion.kif 1983-1991 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH)))) |
Merge.kif 12204-12212 | |
| (=> (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 25919-25936 | |
| (=> (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 8567-8577 | |
| (=> (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 12849-12854 | |
| (=> (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 16120-16129 | |
| 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