consequent

! [V__AGENT : $i,V__FORMULA : $i] : ((s__knows(V__AGENT, V__FORMULA) => s__truth(V__FORMULA, '$true__m')))	Merge.kif 2948-2950	If X knows Y, then Y is true
! [V__PRETEND : $i] : ((s__instance(V__PRETEND, s__Pretending) => ( ? [V__PERSON:$i, V__PROP:$i] : ((s__hasPurpose(V__PRETEND, s__believes(V__PERSON, V__PROP)) & s__truth(V__PROP, '$false__m'))))))	Merge.kif 13325-13330	If X is an instance of pretending, then there exist Y, Z such that X has the purpose Y believes Z, and Z is false
! [V__FORMULA : $i] : ((s__modalAttribute(V__FORMULA, s__Likely) => ($greater(s__ProbabilityFn(s__truth(V__FORMULA, '$true__m')),s__ProbabilityFn(s__truth(V__FORMULA, '$false__m'))))))	Merge.kif 17878-17884	If the statement X has the modal force of likely, then the probability of X is true is greater than the probability of X is false
! [V__FORMULA : $i] : ((s__modalAttribute(V__FORMULA, s__Unlikely) => ($greater(s__ProbabilityFn(s__truth(V__FORMULA, '$false__m')),s__ProbabilityFn(s__truth(V__FORMULA, '$true__m'))))))	Merge.kif 17890-17896	If the statement X has the modal force of unlikely, then the probability of X is false is greater than the probability of X is true
! [V__AGENT : $i,V__STATE : $i,V__STATEMENT : $i] : (((s__instance(V__STATE, s__TellingALie) & s__agent(V__STATE, V__AGENT) & s__patient(V__STATE, V__STATEMENT)) => s__holdsDuring(s__WhenFn(V__STATE), s__believes(V__AGENT, s__truth(V__STATEMENT, '$false__m')))))	Mid-level-ontology.kif 912-919	If X is an instance of telling a lie, Y is an agent of X, and Z is a patient of X, then Y believes Z is false holds during the time of existence of X
! [V__DEVICE : $i,V__PROP : $i] : (((s__attribute(V__DEVICE, s__Functioning) & s__hasPurpose(V__DEVICE, V__PROP)) => s__truth(V__PROP, '$true__m')))	Mid-level-ontology.kif 2419-2423	If functioning is an attribute of X and X has the purpose Y, then Y is true
! [V__DEVICE : $i,V__PROP : $i] : (((s__attribute(V__DEVICE, s__Malfunctioning) & s__hasPurpose(V__DEVICE, V__PROP)) => s__truth(V__PROP, '$false__m')))	Mid-level-ontology.kif 2429-2433	If malfunctioning is an attribute of X and X has the purpose Y, then Y is false
! [V__P,V__H] : ((s__instance(V__P,s__AutonomousAgent) =>      ((s__instance(V__H,s__Hallucination) &          s__experiencer(V__H,V__P))      =>      (? [V__PER,V__PROP] :        ((s__instance(V__PROP,s__Proposition) &            s__instance(V__PROP,s__Sentence) &            (s__instance(V__PER,s__Perception) &              s__experiencer(V__PER,V__P)            &            s__causes(V__H,V__PER)          &          s__containsInformation(V__PER,V__PROP)        &        s__truth(V__PROP,'$false__m'))))))) )	Mid-level-ontology.kif 7517-7527	If X is an instance of hallucination and Y experiences X, then there exist Z, W such that Z is an instance of perception, Y experiences Z, X causes Z, Z contains information W, and W is false
! [V__A : $i,V__F : $i] : ((s__fears(V__A, V__F) => ~(s__desires(V__A, s__truth(V__F, '$true__m')))))	Mid-level-ontology.kif 8710-8714	If X fears Y, then X doesn't desire Y is not true
! [V__R,V__T] : (((s__instance(V__R,s__Regretting) &        s__patient(V__R,V__T)      &      s__instance(V__T,s__Sentence))    =>    s__truth(V__T,'$true__m')) )	Mid-level-ontology.kif 14587-14592	If X is an instance of regretting, Y is a patient of X, and Y is an instance of sentence, then Y is true
! [V__F1 : $i] : (((s__modalAttribute(V__F1, s__Legal) => ~(( ? [V__F2:$i] : ((s__modalAttribute(V__F2, s__Law) & s__truth(~((V__F1 & V__F2)), '$true__m')))))) & (~(( ? [V__F2:$i] : ((s__modalAttribute(V__F2, s__Law) & s__truth(~((V__F1 & V__F2)), '$true__m'))))) => s__modalAttribute(V__F1, s__Legal))))	Mid-level-ontology.kif 15449-15457	The statement X has the modal force of legal if and only if there doesn't exist Y such that the statement Y has the modal force of law and ~{ X } or ~{ Y } is true
! [V__FACT] : ((s__instance(V__FACT,s__Fact) =>      s__truth(V__FACT,'$true__m')) )	Mid-level-ontology.kif 15850-15852	If X is an instance of fact, then X is true
! [V__DEVICE : $i,V__INSTALL : $i,V__PURPOSE : $i] : (((s__instance(V__INSTALL, s__Installing) & s__patient(V__INSTALL, V__DEVICE) & s__hasPurpose(V__DEVICE, V__PURPOSE)) => s__holdsDuring(s__EndFn(s__WhenFn(V__INSTALL)), s__truth(V__PURPOSE, '$true__m'))))	Mid-level-ontology.kif 19831-19836	If X is an instance of installing, Y is a patient of X, and Y has the purpose Z, then Z is true holds during the end of the time of existence of X
! [V__AGENT : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__Surprise)) => ( ? [V__PART:$i, V__PROP:$i] : ((s__temporalPart(V__PART, s__PastFn(V__TIME)) & s__holdsDuring(V__PART, s__expects(V__AGENT, V__PROP)) & s__holdsDuring(V__TIME, s__truth(V__PROP, '$false__m')))))))	Mid-level-ontology.kif 21246-21252	If surprise is an attribute of X holds during Y, then there exist Z, W such that Z is a part of before Y, X expects W will be true holds during Z, and W is false holds during Y
! [V__A : $i,V__F : $i,V__T1 : $i] : ((s__holdsDuring(V__T1, s__prohibits(V__A, V__F)) => ( ? [V__S:$i, V__B:$i, V__P:$i] : ((s__instance(V__S, s__Stating) & s__during(s__WhenFn(V__S), V__T1) & s__agent(V__S, V__A) & s__containsFormula(V__S, (s__causes(s__agent(V__P, V__B), s__truth(V__F, '$true__m')) => s__punishes(V__A, V__B))))))))	Law.kif 65-78	If X prohibits Y holds during Z, then there exist W, V, U such that W is an instance of stating, the time of existence of W takes place during Z, X is an agent of W, and W contains the formula V is an agent of U causes Y is trueX punishes V
! [V__D : $i,V__M : $i,V__P : $i] : (((s__instance(V__M, s__Misdiagnosing) & s__agent(V__M, V__D) & s__refers(V__M, V__P) & s__instance(V__P, s__Human)) => ( ? [V__DIS:$i] : ((s__containsFormula(V__M, s__attribute(V__P, V__DIS)) & s__instance(V__DIS, s__DiseaseOrSyndrome) & s__believes(V__D, s__attribute(V__P, V__DIS)) & s__truth(s__attribute(V__P, V__DIS), '$false__m'))))))	Medicine.kif 4232-4247	If X is an instance of misdiagnosing, Y is an agent of X, X includes a reference to Z, and Z is an instance of human, then there exists W such that X contains the formula W is an attribute of Z, W is an instance of disease or syndrome, Y believes W is an attribute of Z, and W is an attribute of Z is false
! [V__CONFIDENCE,V__EXPERIMENT,V__FORMULA] : ((s__instance(V__CONFIDENCE,s__RealNumber) =>      ((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)        &        s__instance(V__EXPERIMENT,s__Experimenting) &        s__instance(V__FORMULA,s__Formula) &        s__patient(V__EXPERIMENT,V__FORMULA)      &      (V__CONFIDENCE = n__100))    =>    s__truth(V__FORMULA,'$true__m'))) )	UXExperimentalTerms.kif 540-547	If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is true
! [V__CONFIDENCE,V__EXPERIMENT,V__FORMULA] : ((s__instance(V__CONFIDENCE,s__RealNumber) =>      ((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)        &        s__instance(V__EXPERIMENT,s__Experimenting) &        s__instance(V__FORMULA,s__Formula) &        s__patient(V__EXPERIMENT,V__FORMULA)      &      (V__CONFIDENCE = n__100))    =>    s__truth(V__FORMULA,'$false__m'))) )	UXExperimentalTerms.kif 549-556	If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is false
! [V__VALUE,V__EXPERIMENT,V__FORMULA] : ((s__instance(V__VALUE,s__RealNumber) =>      ((s__pValue(V__EXPERIMENT,V__VALUE)        &        s__instance(V__EXPERIMENT,s__Experimenting) &        s__instance(V__FORMULA,s__Formula) &        s__patient(V__EXPERIMENT,V__FORMULA)      &      (V__VALUE = n__0))    =>    s__truth(V__FORMULA,'$true__m'))) )	UXExperimentalTerms.kif 577-584	If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 0, then Z is true
! [V__VALUE,V__EXPERIMENT,V__FORMULA] : ((s__instance(V__VALUE,s__RealNumber) =>      ((s__pValue(V__EXPERIMENT,V__VALUE)        &        s__instance(V__EXPERIMENT,s__Experimenting) &        s__instance(V__FORMULA,s__Formula) &        s__patient(V__EXPERIMENT,V__FORMULA)      &      (V__VALUE = n__1))    =>    s__truth(V__FORMULA,'$false__m'))) )	UXExperimentalTerms.kif 586-593	If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 1, then Z is false
! [V__A : $i,V__W : $i] : (((s__instance(V__W, s__Worrying) & s__experiencer(V__W, V__A) & s__instance(V__A, s__Human)) => s__fears(V__A, s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__W)), ( ? [V__F:$i] : ((s__instance(V__F, s__Formula) & s__containsFormula(V__W, V__F) & s__truth(V__F, '$true__m'))))))))	emotion.kif 1617-1630	If X is an instance of worrying, Y experiences X, and Y is an instance of human, then Y fears there exists Z such that Z is an instance of formula, X contains the formula Z, and Z is true holds during immediately after the time of existence of X

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners