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

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

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

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

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

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

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

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