(=>
(and
(attribute ?DEVICE Functioning)
(hasPurpose ?DEVICE ?PROP))
(truth ?PROP True)) 
Midlevelontology.kif 22742278 

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

(=>
(and
(instance ?INSTALL Installing)
(patient ?INSTALL ?DEVICE)
(hasPurpose ?DEVICE ?PURPOSE))
(holdsDuring
(EndFn
(WhenFn ?INSTALL))
(truth ?PURPOSE True))) 
Midlevelontology.kif 1562415629 

(=>
(and
(instance ?R Regretting)
(patient ?R ?T)
(instance ?T Sentence))
(truth ?T True)) 
Midlevelontology.kif 1061210617 

(=>
(and
(pValue ?EXPERIMENT ?VALUE)
(instance ?EXPERIMENT Experimenting)
(instance ?FORMULA Formula)
(patient ?EXPERIMENT ?FORMULA)
(equal ?VALUE 0))
(truth ?FORMULA True)) 
UXExperimentalTerms.kif 710717 

(=>
(holdsDuring ?T1
(prohibits ?A ?F))
(exists (?S)
(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 7891 

(=>
(instance ?FACT Fact)
(truth ?FACT True)) 
Midlevelontology.kif 1189411896 

(=>
(knows ?AGENT ?FORMULA)
(truth ?FORMULA True)) 
Merge.kif 27392741 

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

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