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('$false__m',s__TruthValue)
|
Merge.kif 17338-17338 | False is an instance of truth value |
| s__contraryAttribute('$false__m','$true__m')
|
Merge.kif 17339-17339 | False is the opposite of true |
| s__documentation('$false__m', s__EnglishLanguage, "The TruthValue of being false_") | Merge.kif 17340-17340 | False is the opposite of true |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, '$false__m', "false") | domainEnglishFormat.kif 23194-23194 | |
| s__termFormat(s__ChineseTraditionalLanguage, '$false__m', "假") | domainEnglishFormat.kif 23195-23195 | |
| s__termFormat(s__ChineseLanguage, '$false__m', "假") | domainEnglishFormat.kif 23196-23196 |
| consequent |
|
|
| ! [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__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__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__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,'$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__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 |
|