(=>
(and
(attribute ?DEVICE Malfunctioning)
(hasPurpose ?DEVICE ?PROP))
(truth ?PROP False)) 
Midlevelontology.kif 18541858 

(=>
(and
(confidenceInterval ?EXPERIMENT ?CONFIDENCE)
(instance ?EXPERIMENT Experimenting)
(instance ?FORMULA Formula)
(patient ?EXPERIMENT ?FORMULA)
(equal ?CONFIDENCE 100))
(truth ?FORMULA False)) 
UXExperimentalTerms.kif 549556 

(=>
(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)))) 
Midlevelontology.kif 64296439 

(=>
(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 41954210 

(=>
(and
(instance ?STATE TellingALie)
(agent ?STATE ?AGENT)
(patient ?STATE ?STATEMENT))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT
(truth ?STATEMENT False)))) 
Midlevelontology.kif 922929 

(=>
(and
(pValue ?EXPERIMENT ?VALUE)
(instance ?EXPERIMENT Experimenting)
(instance ?FORMULA Formula)
(patient ?EXPERIMENT ?FORMULA)
(equal ?VALUE 1))
(truth ?FORMULA False)) 
UXExperimentalTerms.kif 586593 

(=>
(holdsDuring ?TIME
(attribute ?AGENT Surprise))
(exists (?PART ?PROP)
(and
(temporalPart ?PART
(PastFn ?TIME))
(holdsDuring ?PART
(expects ?AGENT ?PROP))
(holdsDuring ?TIME
(truth ?PROP False))))) 
Midlevelontology.kif 1934819354 

(=>
(instance ?PRETEND Pretending)
(exists (?PERSON ?PROP)
(and
(hasPurpose ?PRETEND
(believes ?PERSON ?PROP))
(truth ?PROP False)))) 
Merge.kif 1302713032 

(=>
(modalAttribute ?FORMULA Likely)
(greaterThan
(ProbabilityFn
(truth ?FORMULA True))
(ProbabilityFn
(truth ?FORMULA False)))) 
Merge.kif 1752917531 

(=>
(modalAttribute ?FORMULA Unlikely)
(greaterThan
(ProbabilityFn
(truth ?FORMULA False))
(ProbabilityFn
(truth ?FORMULA True)))) 
Merge.kif 1753717539 
