Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| s__instance('$true__m',s__TruthValue)
|
Merge.kif 17335-17335 | True is an instance of truth value |
| s__documentation('$true__m', s__EnglishLanguage, "The TruthValue of being true_") | Merge.kif 17336-17336 | True is an instance of truth value |
| appearance as argument number 2 |
|
|
| s__contraryAttribute('$false__m','$true__m')
|
Merge.kif 17339-17339 | False is the opposite of true |
| s__termFormat(s__EnglishLanguage, '$true__m', "true") | domainEnglishFormat.kif 59299-59299 | False is the opposite of true |
| s__termFormat(s__ChineseTraditionalLanguage, '$true__m', "真正") | domainEnglishFormat.kif 59300-59300 | False is the opposite of true |
| s__termFormat(s__ChineseLanguage, '$true__m', "真正") | domainEnglishFormat.kif 59301-59301 | False is the opposite of true |
| 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__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__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__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__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__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__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__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 |
|