decreasesLikelihood - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - decreasesLikelihood

decreasesLikelihood

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2600-2600	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1910-1912
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2619-2621
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 537-539
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2616-2616	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 2617-2617	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 2614-2614	decreases likelihood is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2615-2615	decreases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2613-2613	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 2598-2598	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 89-89
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.	japanese_format.kif 1893-1893
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.	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-ro.kif 86-86
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 66-66
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
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18833-18833
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18832-18832
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 27-27
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 151-151

antecedent

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

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4399-4410	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4319-4332	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
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.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3994-4012	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18202-18219	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