(=>
(instance ?PRETEND Pretending)
(exists (?PERSON ?PROP)
(and
(hasPurpose ?PRETEND
(believes ?PERSON ?PROP))
(truth ?PROP False)))) |
Merge.kif 13203-13208 |
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 |
(=>
(modalAttribute ?FORMULA Likely)
(greaterThan
(ProbabilityFn
(truth ?FORMULA True))
(ProbabilityFn
(truth ?FORMULA False)))) |
Merge.kif 17724-17730 |
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 |
(=>
(modalAttribute ?FORMULA Unlikely)
(greaterThan
(ProbabilityFn
(truth ?FORMULA False))
(ProbabilityFn
(truth ?FORMULA True)))) |
Merge.kif 17736-17742 |
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 |
(=>
(and
(instance ?STATE TellingALie)
(agent ?STATE ?AGENT)
(patient ?STATE ?STATEMENT))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT
(truth ?STATEMENT False)))) |
Mid-level-ontology.kif 918-925 |
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 |
(=>
(and
(attribute ?DEVICE Malfunctioning)
(hasPurpose ?DEVICE ?PROP))
(truth ?PROP False)) |
Mid-level-ontology.kif 2335-2339 |
If malfunctioning is an attribute of X and X has the purpose Y, then Y is false |
(=>
(and
(instance ?H Hallucination)
(experiencer ?H ?P))
(exists (?PER ?PROP)
(and
(instance ?PER Perception)
(experiencer ?PER ?P)
(causes ?H ?PER)
(containsInformation ?PER ?PROP)
(truth ?PROP False)))) |
Mid-level-ontology.kif 7384-7394 |
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 |
(=>
(holdsDuring ?TIME
(attribute ?AGENT Surprise))
(exists (?PART ?PROP)
(and
(temporalPart ?PART
(PastFn ?TIME))
(holdsDuring ?PART
(expects ?AGENT ?PROP))
(holdsDuring ?TIME
(truth ?PROP False))))) |
Mid-level-ontology.kif 21312-21318 |
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 |
(=>
(and
(instance ?M Misdiagnosing)
(agent ?M ?D)
(refers ?M ?P)
(instance ?P Human))
(exists (?DIS)
(and
(containsFormula ?M
(attribute ?P ?DIS))
(instance ?DIS DiseaseOrSyndrome)
(believes ?D
(attribute ?P ?DIS))
(truth
(attribute ?P ?DIS) False)))) |
Medicine.kif 4194-4209 |
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 |
(=>
(and
(confidenceInterval ?EXPERIMENT ?CONFIDENCE)
(instance ?EXPERIMENT Experimenting)
(instance ?FORMULA Formula)
(patient ?EXPERIMENT ?FORMULA)
(equal ?CONFIDENCE 100))
(truth ?FORMULA False)) |
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 |
(=>
(and
(pValue ?EXPERIMENT ?VALUE)
(instance ?EXPERIMENT Experimenting)
(instance ?FORMULA Formula)
(patient ?EXPERIMENT ?FORMULA)
(equal ?VALUE 1))
(truth ?FORMULA False)) |
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 |
