increasesLikelihood - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2585-2585	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2586-2586	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1907-1909
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2589-2591
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 534-536
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2583-2583	The number 1 argument of increases likelihood is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2584-2584	The number 2 argument of increases likelihood is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2581-2581	increases likelihood is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2582-2582	increases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2580-2580	increases likelihood is an instance of probability relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 125-125
No TPTP formula. May not be expressible in strict first order.	english_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	french_format.kif 84-84
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 141-141
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1911-1911
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 36-36
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 90-90
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 148-148
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 180-180
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 286-286
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29554-29554
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29553-29553
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29552-29552
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 44-44
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 287-287

antecedent

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

Merge.kif 2593-2598

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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2634-2641	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.	Cars.kif 3710-3751	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3558-3582	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10398-10406	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

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

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: