increasesLikelihood - Sigma Knowledge base Browser

appearance as argument number 1

(disjointRelation increasesLikelihood decreasesLikelihood)	Merge.kif 2598-2598	increases likelihood and decreases likelihood are disjoint
(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2599-2599	increases likelihood and independent probability are disjoint
(documentation increasesLikelihood ChineseLanguage "这是其中一个基本的 ProbabilityRelation， (increasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真，那么 ?FORMULA2 更有可能会是真的。")	chinese_format.kif 1907-1909	increases likelihood and independent probability 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 2602-2604	increases likelihood and independent probability are disjoint
(documentation increasesLikelihood JapaneseLanguage "基本的な ProbabilityRelation。 (increasesLikelihood ?FORMULA1 ?FORMULA2) とは、?FORMULA1 が正しい場合、?FORMULA2 が正しい可能性が高いことを意味する。")	japanese_format.kif 534-536	increases likelihood and independent probability are disjoint
(domain increasesLikelihood 1 Formula)	Merge.kif 2596-2596	The number 1 argument of increases likelihood is an instance of formula
(domain increasesLikelihood 2 Formula)	Merge.kif 2597-2597	The number 2 argument of increases likelihood is an instance of formula
(instance increasesLikelihood BinaryPredicate)	Merge.kif 2594-2594	increases likelihood is an instance of binary predicate
(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2595-2595	increases likelihood is an instance of irreflexive relation
(instance increasesLikelihood ProbabilityRelation)	Merge.kif 2593-2593	increases likelihood 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 29574-29574
(termFormat ChineseLanguage increasesLikelihood "提高可能性")	chinese_format.kif 126-126
(termFormat ChineseTraditionalLanguage increasesLikelihood "增加可能性")	domainEnglishFormat.kif 29573-29573
(termFormat EnglishLanguage increasesLikelihood "increases likelihood")	domainEnglishFormat.kif 29572-29572
(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 2606-2611

If a formula increases likelihood of another formula and the probability of the other formula is equal to 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 2647-2654	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 3770-3811	If an object is an instance of car alarm and another object is an instance of self powered road vehicle 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 the time of existence of the entity is equal to the third entity and the entity is partly located at 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 the seventh entity is partly located at 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 a disease or syndrome is disease treatment a kind of biologically active substance for 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 a disease or syndrome is a disease symptom of another disease or syndrome, then there exists an entity such that the other disease or syndrome is an attribute of the entity increases likelihood of the 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 3618-3642	If a physical is an instance of safety vest, 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 10450-10458	If a kind of pathologic process is a symptom of a disease or syndrome, 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

?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM

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

KB Term:			Term intersection

English Word: