| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage increasesLikelihood "increases likelihood") | domainEnglishFormat.kif 29547-29547 | |
| (termFormat ChineseTraditionalLanguage increasesLikelihood "增加可能性") | domainEnglishFormat.kif 29548-29548 | |
| (termFormat ChineseLanguage increasesLikelihood "增加可能性") | domainEnglishFormat.kif 29549-29549 | |
| (format EnglishLanguage increasesLikelihood "%1 %n{doesn't} increase%p{s} likelihood of %2") | english_format.kif 126-126 |
| antecedent |
|
|
| (=> (and (increasesLikelihood ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (greaterThan ?NUMBER2 ?NUMBER1)) |
Merge.kif 2641-2646 | If X increases likelihood of Y, equal the probability of Y and Z, and probability of X provided that Y holds is W, then W is greater than Z |
| consequent |
|
|
| (=> (and (instance ?FORMULA1 Formula) (instance ?FORMULA2 Formula)) (or (increasesLikelihood ?FORMULA1 ?FORMULA2) (decreasesLikelihood ?FORMULA1 ?FORMULA2) (independentProbability ?FORMULA1 ?FORMULA2))) |
Merge.kif 2682-2689 | If X is an instance of formula and Y is an instance of formula, then At least one of the following holds: (1) X increases likelihood of Y (2) X decreases likelihood of Y (3) probability of X and Y is independent |
| (=> (pathologicSymptom ?D ?S) (exists (?O) (increasesLikelihood (attribute ?O ?D) (exists (?I) (and (instance ?I ?S) (experiencer ?I ?O)))))) |
Merge.kif 10574-10582 | If X is a symptom of Y, then there exists Z such that Y is an attribute of Z increases likelihood of there exists W such that W is an instance of X and Z experiences W |
| (=> (instance ?SV SafetyVest) (hasPurpose ?SV (exists (?PERSON ?SPECTATOR) (and (instance ?PERSON Animal) (instance ?SPECTATOR Human) (increasesLikelihood (wears ?PERSON ?SV) (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR)))) (decreasesLikelihood (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR))) (exists (?INJ) (and (instance ?INJ Injuring) (agent ?INJ ?SPECTATOR) (patient ?INJ ?PERSON)))))))) |
Cars.kif 3636-3660 | If X is an instance of safety vest, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of animal (3) Z is an instance of human (4) Y wears X increases likelihood of there exists W such that W is an instance of seeing (5) Y is a patient of W (6) Z experiences W (7) there exists W such that W is an instance of seeing (8) Y is a patient of W (9) Z experiences W decreases likelihood of there exists V such that V is an instance of injuring (10) Z is an agent of V (11) Y is a patient of V |
| (=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (exists (?HARM ?THIEF ?T ?L) (hasPurpose ?X (=> (and (or (instance ?HARM Stealing) (instance ?HARM Damaging)) (instance ?THIEF Human) (agent ?HARM ?THIEF) (patient ?HARM ?CAR) (equal (WhenFn ?HARM) ?T) (eventPartlyLocated ?HARM ?L)) (exists (?ALARM) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (exists (?WITNESS) (and (instance ?WITNESS Human) (holdsDuring ?T (orientation ?WITNESS ?L Near)))) (or (knows ?WITNESS (exists (?H) (and (or (instance ?H Stealing) (instance ?H Damaging)) (eventPartlyLocated ?H ?L) (holdsDuring ?T (patient ?H ?CAR))))) (finishes (WhenFn ?ALARM) (WhenFn ?HARM))))))))))) |
Cars.kif 3788-3829 | If X is an instance of car alarm, Y is an instance of self powered road vehicle, and X is a part of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that X has the purpose Z is an instance of stealing or Z is an instance of damaging (3) W is an instance of human (4) W is an agent of Z (5) Y is a patient of Z (6) equal the time of existence of Z (7) V (8) Z is partly located at Uthere exists T such that T is an instance of radiating sound (9) X is an agent of T (10) Z causes T (11) T has the purpose there exists S such that S is an instance of human (12) S is near to U holds during V increases likelihood of S knows there exists R such that R is an instance of stealing or R is an instance of damaging (13) R is partly located at U (14) Y is a patient of R holds during V or the time of existence of T finishes the time of existence of Z |
| (=> (diseaseSymptom ?DISEASE ?SYMPTOM) (exists (?ORGANISM) (increasesLikelihood (attribute ?ORGANISM ?DISEASE) (attribute ?ORGANISM ?SYMPTOM)))) |
WMD.kif 872-877 | If X is a disease symptom of Y, then there exists Z such that Y is an attribute of Z increases likelihood of X is an attribute of Z |
| (=> (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (exists (?ORGANISM ?TIME ?SAMPLE ?PROC) (and (holdsDuring ?TIME (attribute ?ORGANISM ?DISEASE)) (increasesLikelihood (and (instance ?PROC ?PROCESS) (temporalPart (WhenFn ?PROC) ?TIME) (experiencer ?PROC ?ORGANISM) (patient ?PROC ?SAMPLE) (instance ?SAMPLE ?SUBSTANCE)) (holdsDuring (ImmediateFutureFn ?TIME) (not (attribute ?ORGANISM ?DISEASE))))))) |
WMD.kif 936-950 | If X is disease treatment Y for Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that X is an attribute of W holds during V (3) T is an instance of Z (4) the time of existence of T is a part of V (5) W experiences T (6) U is a patient of T (7) U is an instance of Y increases likelihood of X is not an attribute of W holds during immediately after V |
| appearance as argument number 0 |
|
|
| (increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 762-768 | ?SYMPTOM is a biochemical agent syndrome of ?AGENT, ?PROCESSTYPE is a biochemical agent delivery of ?AGENT, ?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