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

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

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

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

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

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

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

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

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