TreeView Knowledge Base Browser - increasesLikelihood

appearance as argument number 1

(disjointRelation increasesLikelihood decreasesLikelihood)	Merge.kif 2634-2634	increasesLikelihood and decreasesLikelihood are disjoint
(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2635-2635	increasesLikelihood and independentProbability are disjoint
(documentation increasesLikelihood ChineseLanguage "这是其中一个基本的 ProbabilityRelation， (increasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真，那么 ?FORMULA2 更有可能会是真的。")	chinese_format.kif 1907-1909	increasesLikelihood and independentProbability are disjoint
(documentation increasesLikelihood EnglishLanguage "One of the basic ProbabilityRelations. (increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true.")	Merge.kif 2638-2640	increasesLikelihood and independentProbability are disjoint
(documentation increasesLikelihood JapaneseLanguage "基本的な ProbabilityRelation。 (increasesLikelihood ?FORMULA1 ?FORMULA2) とは、?FORMULA1 が正しい場合、?FORMULA2 が正しい可能性が高いことを意味する。")	japanese_format.kif 534-536	increasesLikelihood and independentProbability are disjoint
(domain increasesLikelihood 1 Formula)	Merge.kif 2632-2632	The number 1 argument of increasesLikelihood is an instance of formula
(domain increasesLikelihood 2 Formula)	Merge.kif 2633-2633	The number 2 argument of increasesLikelihood is an instance of formula
(instance increasesLikelihood BinaryPredicate)	Merge.kif 2630-2630	increasesLikelihood is an instance of binary predicate
(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2631-2631	increasesLikelihood is an instance of irreflexive relation
(instance increasesLikelihood ProbabilityRelation)	Merge.kif 2629-2629	increasesLikelihood is an instance of probability relation

appearance as argument number 2

(format ChineseLanguage increasesLikelihood "%1 %n{doesn't} 增加 %2 发生的机率")	chinese_format.kif 125-125
(format EnglishLanguage increasesLikelihood "%1 %n{doesn't} increase%p{s} likelihood of %2")	english_format.kif 126-126
(format FrenchLanguage increasesLikelihood "%1 %n{n'} augmente %n{pas} la probabilit� de %2")	french_format.kif 84-84
(format ItalianLanguage increasesLikelihood "%1 %n{non} aumenta%p{s} la verosimiglianza di %2")	relations-it.txt 141-141
(format JapaneseLanguage increasesLikelihood "%1 は %2 の可能性を increase%p{s} %n{ない}")	japanese_format.kif 1911-1911
(format PortugueseLanguage increasesLikelihood "%1 %n{nao} aumenta %n a probabilidade de %2")	portuguese_format.kif 36-36
(format cz increasesLikelihood "%1 %n{doesn't} increase%p{s} likelihood of %2")	relations-cz.txt 90-90
(format de increasesLikelihood "%1 vergroessert die Wahrscheinlichkeit von %2 %n{nicht}")	relations-de.txt 148-148
(format hi increasesLikelihood "%1 %2 kii sambhaavanaa men vriddhi %n{nahiin} karataa hai")	relations-hindi.txt 180-180
(format ro increasesLikelihood "%1 %n{nu} increase%t{sporeºte} probabilitatea lui %2")	relations-ro.kif 103-103
(format sv increasesLikelihood "%1 ökar %n{inte} sannolikheten för %2")	relations-sv.txt 83-83
(format tg increasesLikelihood "%1 %n ay nagdagdag ang kalamangang mangyari ng %2")	relations-tg.txt 286-286
(termFormat ChineseLanguage increasesLikelihood "增加可能性")	domainEnglishFormat.kif 29555-29555
(termFormat ChineseLanguage increasesLikelihood "提高可能性")	chinese_format.kif 126-126
(termFormat ChineseTraditionalLanguage increasesLikelihood "增加可能性")	domainEnglishFormat.kif 29554-29554
(termFormat EnglishLanguage increasesLikelihood "increases likelihood")	domainEnglishFormat.kif 29553-29553
(termFormat de increasesLikelihood "vergroessertWahrscheinlichkeit")	terms-de.txt 44-44
(termFormat tg increasesLikelihood "nagdagdag ang kalamangang mangyari")	relations-tg.txt 287-287

antecedent

(=>
    (and
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (greaterThan ?NUMBER2 ?NUMBER1))

Merge.kif 2642-2647

If a formula increases likelihood of another formula and equal the probability of the other formula and a real number and probability of the formula provided that the other formula holds is another real number,
then the other real number is greater than the real number

consequent

(=> (and (instance ?FORMULA1 Formula) (instance ?FORMULA2 Formula)) (or (increasesLikelihood ?FORMULA1 ?FORMULA2) (decreasesLikelihood ?FORMULA1 ?FORMULA2) (independentProbability ?FORMULA1 ?FORMULA2)))	Merge.kif 2683-2690	If a formula is an instance of formula and another formula is an instance of formula, then the formula increases likelihood of the other formula or the formula decreases likelihood of the other formula or probability of the formula and the other formula is independent
(=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (exists (?HARM ?THIEF ?T ?L) (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 3771-3812	If an object is an instance of CarAlarm and another object is an instance of SelfPoweredRoadVehicle and the object is a part of the other object, then there exist an entity, another entity,, , a third entity and a fourth entity such that the object has the purpose if the entity is an instance of Stealing or the entity is an instance of damaging and the other entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and equal the time of existence of the entity and the third entity and event partly located the entity and the fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity has the purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is Near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of Stealing or the seventh entity is an instance of damaging and event partly located the seventh entity and the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
(=> (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (exists (?ORGANISM ?TIME ?SAMPLE ?PROC) (and (holdsDuring ?TIME (attribute ?ORGANISM ?DISEASE)) (increasesLikelihood (and (instance ?PROC ?PROCESS) (temporalPart (WhenFn ?PROC) ?TIME) (experiencer ?PROC ?ORGANISM) (patient ?PROC ?SAMPLE) (instance ?SAMPLE ?SUBSTANCE)) (holdsDuring (ImmediateFutureFn ?TIME) (not (attribute ?ORGANISM ?DISEASE)))))))	WMD.kif 941-955	If diseaseMedicine a disease or syndrome, a kind of biologically active substance and a kind of process, then there exist an entity, a time position,, , another entity and a third entity such that the disease or syndrome is an attribute of the entity holds during the time position and the third entity is an instance of a kind of process and the time of existence of the third entity is a part of the time position and the entity experiences the third entity and the other entity is a patient of the third entity and the other entity is an instance of a kind of biologically active substance increases likelihood of the disease or syndrome is not an attribute of the entity holds during immediately after the time position
(=> (diseaseSymptom ?DISEASE ?SYMPTOM) (exists (?ORGANISM) (increasesLikelihood (attribute ?ORGANISM ?DISEASE) (attribute ?ORGANISM ?SYMPTOM))))	WMD.kif 877-882	If diseaseSymptom a disease or syndrome and another disease or syndrome, then there exists an entity such that the disease or syndrome is an attribute of the entity increases likelihood of the other disease or syndrome is an attribute of the entity
(=> (instance ?SV SafetyVest) (hasPurpose ?SV (exists (?PERSON ?SPECTATOR) (and (instance ?PERSON Animal) (instance ?SPECTATOR Human) (increasesLikelihood (wears ?PERSON ?SV) (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR)))) (decreasesLikelihood (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR))) (exists (?INJ) (and (instance ?INJ Injuring) (agent ?INJ ?SPECTATOR) (patient ?INJ ?PERSON))))))))	Cars.kif 3619-3643	If a physical is an instance of SafetyVest, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of human and the entity wears the physical increases likelihood of there exists a third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity and there exists the third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of injuring and the other entity is an agent of the fourth entity and the entity is a patient of the fourth entity
(=> (pathologicSymptom ?D ?S) (exists (?O) (increasesLikelihood (attribute ?O ?D) (exists (?I) (and (instance ?I ?S) (experiencer ?I ?O))))))	Merge.kif 10576-10584	If pathologicSymptom a disease or syndrome and a kind of pathologic process, then there exists an entity such that the disease or syndrome is an attribute of the entity increases likelihood of there exists another entity such that the other entity is an instance of a kind of pathologic process and the entity experiences the other entity

appearance as argument number 0

(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))

WMD.kif 767-773

biochemicalAgentSyndrome ?AGENT and ?SYMPTOM and biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM

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

KB Term:			Term intersection

English Word: