decreasesLikelihood - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2750-2750	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2773-2775
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2770-2772
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2768-2768	The number 1 argument of decreases likelihood is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2769-2769	The number 2 argument of decreases likelihood is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2766-2766	decreases likelihood is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2767-2767	decreases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2765-2765	decreases likelihood is an instance of probability relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2748-2748	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 89-89
No TPTP formula. May not be expressible in strict first order.	english_format.kif 71-71
No TPTP formula. May not be expressible in strict first order.	french_format.kif 67-67
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 19-19
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 17-17
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 91-91
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 98-98
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 108-108
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 150-150
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 101-101
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 90-90	"降低可能性" is the printable form of decreases likelihood in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3560-3560	"decreases likelihood" is the printable form of decreases likelihood in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 467-467	"«يُنْقِص اِحْتِمَال»" is the printable form of decreases likelihood in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 151-151	"nagbabawas malamang" is the printable form of decreases likelihood in tg

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 2777-2782

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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2803-2810	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15561-15581	If an object is an instance of PaperShredder and a process is an instance of cutting and the object is an instrument for the process, then the process has purpose if a content bearing physical is an instance of VisualContentBearingObject and the content bearing physical contains information a proposition and another object is an instance of paper and the content bearing physical is located at the other object, then the other object is a patient of the process decreases likelihood of there exists another process such that the other process is an instance of interpreting and the proposition is a patient of the other process and the time of existence of the process happens earlier than the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4491-4501	If a process hinders another kind of process, then the time of existence of the process is equal to a time interval and the process is located at 2 decreases likelihood of there exists a third process such that the third process is an instance of another kind of process and the third process is located at 2 holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4409-4422	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 process such that the third process is an instance of a kind of process and the third process is located at 2 holds during the entity decreases likelihood of there exists a fourth process such that the fourth process is an instance of another kind of process and the fourth process is located at 2 holds during the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3569-3593	If a wearable item is an instance of SafetyVest, then the wearable item has purpose there exist an animal and an agent such that the animal is an instance of animal and the agent is an instance of human and the animal wears the wearable item increases likelihood of there exists a process such that the process is an instance of seeing and the animal is a patient of the process and the agent experiences the process and there exists the process such that the process is an instance of seeing and the animal is a patient of the process and the agent experiences the process decreases likelihood of there exists another process such that the other process is an instance of injuring and the agent is an agent of the other process and the animal is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1047-1065	If an object is an instance of FuelCapLock, then the object has purpose there exist a self connected object and a hole such that the self connected object is an instance of gas tank and the hole is a hole in the self connected object and the object is connected to the hole and locked is an attribute of the object holds during an entity decreases likelihood of there exist a process and a physical such that the process is an instance of stealing and the physical is an instance of fuel and the physical is located at the self connected object and the physical is a patient of the process holds during the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4001-4019	If an object is an instance of SteeringColumnLock, then the object has purpose there exist a corpuscular object, a process and another corpuscular object such that the corpuscular object is an instance of steering column and the other corpuscular object is an instance of automobile and the corpuscular object is a component of the other corpuscular object and the object is a part of the corpuscular object and the process is an instance of Protecting and the object is an instrument for the process and locked is an attribute of the object holds during an entity decreases likelihood of there exists another process such that the other process is an instance of stealing and the other corpuscular object is a patient of the other process holds during the entity

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

WMD.kif 870-878

A disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent and a kind of biochemical agent biochemical agent antidote a kind of biologically active substance for a kind of process and an entity is an instance of a kind of biologically active substance and another process is an instance of a kind of process and an agent experiences the other process and the kind of biologically active substance is a patient of the other process decreases likelihood of the disease or syndrome is an attribute of the agent

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: