TreeView Knowledge Base Browser - decreasesLikelihood

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

decreasesLikelihood

Sigma KEE - decreasesLikelihood

decreasesLikelihood

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2611-2611	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1910-1912	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2630-2632	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 537-539	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2627-2627	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 2628-2628	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 2625-2625	decreases likelihood is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2626-2626	decreases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2624-2624	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 2609-2609	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 89-89	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	english_format.kif 89-89	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	french_format.kif 67-67	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1893-1893	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 19-19	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 91-91	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 98-98	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 108-108	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 86-86	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 66-66	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 150-150	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 101-101	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 90-90	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18842-18842	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18841-18841	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 27-27	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 151-151	increases likelihood and decreases likelihood are disjoint

antecedent

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

Merge.kif 2634-2639

If a formula decreases likelihood of another formula and equal the probability of the other formula and 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 2658-2665	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 4425-4436	If a process hinders another kind of process, then there exist an entity and another entity such that equal the time of existence of the process and 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 4347-4360	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 3619-3643	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 1042-1058	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 4055-4073	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 19773-19790	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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