(=>
(knows ?AGENT ?FORMULA)
(truth ?FORMULA True)) |
Merge.kif 2948-2950 |
If X knows Y, then Y is true |
(=>
(instance ?PRETEND Pretending)
(exists (?PERSON ?PROP)
(and
(hasPurpose ?PRETEND
(believes ?PERSON ?PROP))
(truth ?PROP False)))) |
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 |
(=>
(modalAttribute ?FORMULA Likely)
(greaterThan
(ProbabilityFn
(truth ?FORMULA True))
(ProbabilityFn
(truth ?FORMULA False)))) |
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 |
(=>
(modalAttribute ?FORMULA Unlikely)
(greaterThan
(ProbabilityFn
(truth ?FORMULA False))
(ProbabilityFn
(truth ?FORMULA True)))) |
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 |
(=>
(and
(instance ?STATE TellingALie)
(agent ?STATE ?AGENT)
(patient ?STATE ?STATEMENT))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT
(truth ?STATEMENT False)))) |
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 |
(=>
(and
(attribute ?DEVICE Functioning)
(hasPurpose ?DEVICE ?PROP))
(truth ?PROP True)) |
Mid-level-ontology.kif 2419-2423 |
If functioning is an attribute of X and X has the purpose Y, then Y is true |
(=>
(and
(attribute ?DEVICE Malfunctioning)
(hasPurpose ?DEVICE ?PROP))
(truth ?PROP False)) |
Mid-level-ontology.kif 2429-2433 |
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 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 |
(=>
(fears ?A ?F)
(not
(desires ?A
(truth ?F True)))) |
Mid-level-ontology.kif 8710-8714 |
If X fears Y, then X doesn't desire Y is not true |
(=>
(and
(instance ?R Regretting)
(patient ?R ?T)
(instance ?T Sentence))
(truth ?T True)) |
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 |
(<=>
(modalAttribute ?F1 Legal)
(not
(exists (?F2)
(and
(modalAttribute ?F2 Law)
(truth
(not
(and ?F1 ?F2)) True))))) |
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 |
(=>
(instance ?FACT Fact)
(truth ?FACT True)) |
Mid-level-ontology.kif 15850-15852 |
If X is an instance of fact, then X is true |
(=>
(and
(instance ?INSTALL Installing)
(patient ?INSTALL ?DEVICE)
(hasPurpose ?DEVICE ?PURPOSE))
(holdsDuring
(EndFn
(WhenFn ?INSTALL))
(truth ?PURPOSE True))) |
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 |
(=>
(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 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 |
(=>
(holdsDuring ?T1
(prohibits ?A ?F))
(exists (?S ?B ?P)
(and
(instance ?S Stating)
(during
(WhenFn ?S) ?T1)
(agent ?S ?A)
(containsFormula ?S
(=>
(causes
(agent ?P ?B)
(truth ?F True))
(punishes ?A ?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 |
(=>
(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 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 |
(=>
(and
(confidenceInterval ?EXPERIMENT ?CONFIDENCE)
(instance ?EXPERIMENT Experimenting)
(instance ?FORMULA Formula)
(patient ?EXPERIMENT ?FORMULA)
(equal ?CONFIDENCE 100))
(truth ?FORMULA True)) |
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 |
(=>
(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 0))
(truth ?FORMULA True)) |
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 |
(=>
(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 |
(=>
(and
(instance ?W Worrying)
(experiencer ?W ?A)
(instance ?A Human))
(fears ?A
(holdsDuring
(ImmediateFutureFn
(WhenFn ?W))
(exists (?F)
(and
(instance ?F Formula)
(containsFormula ?W ?F)
(truth ?F True)))))) |
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 |
