increasesLikelihood - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2503-2503	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2504-2504	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 2507-2509
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2501-2501	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 2502-2502	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 2499-2499	increases likelihood is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2500-2500	increases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2498-2498	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.	domainEnglishFormat.kif 29532-29532
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 29531-29531
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29530-29530

antecedent

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

Merge.kif 2511-2516

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 2552-2559	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 3727-3767	If an object is an instance of CarAlarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then the object has the purpose if an entity is an instance of stealing or the entity is an instance of damaging and another 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 a third entity and the entity is partly located at a 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 872-876	If a disease or syndrome is a disease symptom of another disease or syndrome, then the other disease or syndrome is an attribute of an 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 932-943	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process, then if the disease or syndrome is an attribute of an entity holds during a time position, then there exists another entity such that the time of existence of a kind of process is a part of the time position and the entity experiences the kind of process and the other entity is a patient of the kind of process 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 3575-3599	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

appearance as argument number 0

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

WMD.kif 762-768

?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: