decreasesLikelihood - Sigma Knowledge base Browser

appearance as argument number 1

(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 2600-2600	decreases likelihood and independent probability are disjoint
(documentation decreasesLikelihood ChineseLanguage "这是其中一个基本的 ProbabilityRelation， (decreasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真，那么 ?FORMULA2 不太可能会是真的。")	chinese_format.kif 1910-1912	decreases likelihood and independent probability are disjoint
(documentation decreasesLikelihood EnglishLanguage "One of the basic ProbabilityRelations. (decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.")	Merge.kif 2619-2621	decreases likelihood and independent probability are disjoint
(documentation decreasesLikelihood JapaneseLanguage "基本的な ProbabilityRelation。 (decreasesLikelihood ?FORMULA1 ?FORMULA2)とは、?FORMULA1が正しい場合、?FORMULA2が正しい可能性が高いことを意味する。")	japanese_format.kif 537-539	decreases likelihood and independent probability are disjoint
(domain decreasesLikelihood 1 Formula)	Merge.kif 2616-2616	The number 1 argument of decreases likelihood is an instance of formula
(domain decreasesLikelihood 2 Formula)	Merge.kif 2617-2617	The number 2 argument of decreases likelihood is an instance of formula
(instance decreasesLikelihood BinaryPredicate)	Merge.kif 2614-2614	decreases likelihood is an instance of binary predicate
(instance decreasesLikelihood IrreflexiveRelation)	Merge.kif 2615-2615	decreases likelihood is an instance of irreflexive relation
(instance decreasesLikelihood ProbabilityRelation)	Merge.kif 2613-2613	decreases likelihood is an instance of probability relation

appearance as argument number 2

(disjointRelation increasesLikelihood decreasesLikelihood)	Merge.kif 2598-2598	increases likelihood and decreases likelihood are disjoint
(format ChineseLanguage decreasesLikelihood "%1 %n{doesn't} 减少 %2 发生的机率")	chinese_format.kif 89-89	increases likelihood and decreases likelihood are disjoint
(format EnglishLanguage decreasesLikelihood "%1 %n{doesn't} decrease%p{s} likelihood of %2")	english_format.kif 89-89	increases likelihood and decreases likelihood are disjoint
(format FrenchLanguage decreasesLikelihood "%1 %n{ne} diminue %n{pas} la probabilit� de %2")	french_format.kif 67-67	increases likelihood and decreases likelihood are disjoint
(format JapaneseLanguage decreasesLikelihood "%1 は %2 を decrease%p{s} %n{ない} 可能性がある")	japanese_format.kif 1893-1893	increases likelihood and decreases likelihood are disjoint
(format PortugueseLanguage decreasesLikelihood "%1 %n{nao} diminui %n a probabilidade de %2")	portuguese_format.kif 19-19	increases likelihood and decreases likelihood are disjoint
(format cz decreasesLikelihood "%1 %n{doesn't} decrease%p{s} likelihood of %2")	relations-cz.txt 91-91	increases likelihood and decreases likelihood are disjoint
(format de decreasesLikelihood "%1 verringert die Wahrscheinlichkeit von %2 %n{nicht}")	relations-de.txt 98-98	increases likelihood and decreases likelihood are disjoint
(format hi decreasesLikelihood "%1 %2 kii sambhaavanaa ko ghaTaataa %n{nahiin} hai")	relations-hindi.txt 108-108	increases likelihood and decreases likelihood are disjoint
(format ro decreasesLikelihood "%1 %n{nu} decrease%t{reduce} probabilitatea lui %2")	relations-ro.kif 86-86	increases likelihood and decreases likelihood are disjoint
(format sv decreasesLikelihood "%1 minskar %n{inte} sannolikheten för %2")	relations-sv.txt 66-66	increases likelihood and decreases likelihood are disjoint
(format tg decreasesLikelihood "%1 %n ay nagbabawas ang malamang sa %2")	relations-tg.txt 150-150	increases likelihood and decreases likelihood are disjoint
(format tg decreasesLikelihood "%1 %n ay ngbabawas ang malamang sa %2")	relations-cb.txt 101-101	increases likelihood and decreases likelihood are disjoint
(termFormat ChineseLanguage decreasesLikelihood "降低可能性")	chinese_format.kif 90-90	increases likelihood and decreases likelihood are disjoint
(termFormat ChineseTraditionalLanguage decreasesLikelihood "降低可能性")	domainEnglishFormat.kif 18844-18844	increases likelihood and decreases likelihood are disjoint
(termFormat EnglishLanguage decreasesLikelihood "decreases likelihood")	domainEnglishFormat.kif 18843-18843	increases likelihood and decreases likelihood are disjoint
(termFormat de decreasesLikelihood "verringertWahrscheinlichkeit")	terms-de.txt 27-27	increases likelihood and decreases likelihood are disjoint
(termFormat tg decreasesLikelihood "nagbabawas malamang")	relations-tg.txt 151-151	increases likelihood and decreases likelihood are disjoint

antecedent

(=>
    (and
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))

Merge.kif 2623-2628

If a formula decreases 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 less 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
(=> (hinders ?X ?PROC) (exists (?L ?T) (decreasesLikelihood (and (equal (WhenFn ?X) ?T) (eventLocated ?X ?L)) (holdsDuring ?T (exists (?Y) (and (instance ?Y ?PROC) (eventLocated ?Y ?L)))))))	Merge.kif 4400-4411	If a process hinders another kind of process, then there exist an entity and another entity such that the time of existence of the process is equal to the other entity and the process is located at the entity decreases likelihood of there exists a third entity such that the third entity is an instance of another kind of process and the third entity is located at the entity holds during the other entity
(=> (hindersSubclass ?PROC1 ?PROC2) (forall (?TIME ?PLACE) (decreasesLikelihood (holdsDuring ?TIME (exists (?INST1) (and (instance ?INST1 ?PROC1) (eventLocated ?INST1 ?PLACE)))) (holdsDuring ?TIME (exists (?INST2) (and (instance ?INST2 ?PROC2) (eventLocated ?INST2 ?PLACE)))))))	Merge.kif 4320-4333	If instances of a kind of process hinder instances of another kind of process, then for all an entity and another entity there exists a third entity such that the third entity is an instance of a kind of process and the third entity is located at the other entity holds during the entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of another kind of process and the fourth entity is located at the other entity holds during 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
(=> (instance ?TA TranexamicAcid) (hasPurpose ?TA (exists (?P) (and (instance ?P Human) (decreasesLikelihood (exists (?I) (and (instance ?I Ingesting) (objectTransferred ?I ?TA) (destination ?I ?P))) (exists (?P ?B) (and (instance ?P Human) (instance ?B Bleeding) (origin ?B ?P))))))))	Medicine.kif 1050-1066	If a physical is an instance of tranexamic acid, then the physical has the purpose there exists an entity such that the entity is an instance of human and there exists another entity such that the other entity is an instance of ingesting and the object transferred in the other entity is the physical and the other entity ends up at the entity decreases likelihood of there exist the entity and a third entity such that the entity is an instance of human and the third entity is an instance of bleeding and the third entity originates at the entity
(=> (instance ?X FuelCapLock) (hasPurpose ?X (exists (?TANK ?HOLE ?T) (and (instance ?TANK GasTank) (hole ?HOLE ?TANK) (decreasesLikelihood (holdsDuring ?T (and (connected ?X ?HOLE) (attribute ?X Locked))) (holdsDuring ?T (exists (?STEAL ?FUEL) (and (instance ?STEAL Stealing) (instance ?FUEL Fuel) (located ?FUEL ?TANK) (patient ?STEAL ?FUEL)))))))))	Cars.kif 1016-1034	If a physical is an instance of fuel cap lock, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas tank and the other entity is a hole in the entity and the physical is connected to the other entity and locked is an attribute of the physical holds during the third entity decreases likelihood of there exist a fourth entity and a fifth entity such that the fourth entity is an instance of stealing and the fifth entity is an instance of fuel and the fifth entity is located at the entity and the fifth entity is a patient of the fourth entity holds during the third entity
(=> (instance ?X SteeringColumnLock) (hasPurpose ?X (exists (?SC ?P ?CAR ?T) (and (instance ?SC SteeringColumn) (instance ?CAR Automobile) (component ?SC ?CAR) (part ?X ?SC) (instance ?P Protecting) (instrument ?P ?X) (decreasesLikelihood (holdsDuring ?T (attribute ?X Locked)) (holdsDuring ?T (exists (?STEAL) (and (instance ?STEAL Stealing) (patient ?STEAL ?CAR)))))))))	Cars.kif 4054-4072	If a physical is an instance of steering column lock, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of steering column and the third entity is an instance of automobile and the entity is a component of the third entity and the physical is a part of the entity and the other entity is an instance of protecting and the physical is an instrument for the other entity and locked is an attribute of the physical holds during the fourth entity decreases likelihood of there exists a fifth entity such that the fifth entity is an instance of stealing and the third entity is a patient of the fifth entity holds during the fourth entity

appearance as argument number 0

(decreasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) (instance ?SAMPLE ?SUBSTANCE) (instance ?THERAPY ?PROCESS) (experiencer ?THERAPY ?ORGANISM) (patient ?THERAPY ?SAMPLE)) (attribute ?ORGANISM ?SYMPTOM))	WMD.kif 921-929	?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ)))))	Mid-level-ontology.kif 18460-18477	There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ

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: