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

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

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

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

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

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

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