(=>
(and
(activePolicy ?POL ?DATE)
(instance ?TIME ?DATE)
(instance ?FORMULA Formula)
(containsInformation ?FORMULA ?POL))
(holdsDuring ?TIME ?FORMULA)) 
TravelPolicies.kif 175181 

(=>
(and
(agreementEffectiveDuring ?AGR ?DATE)
(instance ?TIME ?DATE)
(instance ?FORMULA Formula)
(containsInformation ?FORMULA ?AGR))
(holdsDuring ?TIME ?FORMULA)) 
Government.kif 760766 

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

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

(=>
(and
(confidenceInterval ?EXPERIMENT ?CONFIDENCE)
(instance ?EXPERIMENT ?EXPERIMENTING)
(instance ?FORMULA Formula)
(patient ?EXPERIMENT ?FORMULA))
(represents ?CONFIDENCE
(ProbabilityFn ?FORMULA))) 
UXExperimentalTerms.kif 663669 

(=>
(and
(instance ?COMMIT Committing)
(patient ?COMMIT ?FORMULA)
(instance ?FORMULA Formula))
(modalAttribute ?FORMULA Promise)) 
Merge.kif 1306213067 

(=>
(and
(instance ?FORMULA1 Formula)
(instance ?FORMULA2 Formula))
(or
(increasesLikelihood ?FORMULA1 ?FORMULA2)
(decreasesLikelihood ?FORMULA1 ?FORMULA2)
(independentProbability ?FORMULA1 ?FORMULA2))) 
Merge.kif 28032810 

(=>
(and
(instance ?NOTIFY Notifying)
(instance ?FORMULA Formula)
(instance ?AGENT CognitiveAgent)
(patient ?NOTIFY ?FORMULA)
(destination ?NOTIFY ?AGENT))
(not
(holdsDuring
(BeginFn
(WhenFn ?NOTIFY))
(knows ?AGENT ?FORMULA)))) 
Facebook.kif 608618 

(=>
(and
(instance ?QUESTION Questioning)
(agent ?QUESTION ?AGENT)
(patient ?QUESTION ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?QUESTION)
(not
(knows ?AGENT ?FORMULA)))) 
Merge.kif 1304713053 

(=>
(and
(instance ?REQUEST Requesting)
(agent ?REQUEST ?AGENT)
(patient ?REQUEST ?FORMULA)
(instance ?FORMULA Formula))
(desires ?AGENT ?FORMULA)) 
Merge.kif 1303213038 

(=>
(and
(instance ?STATE Stating)
(agent ?STATE ?AGENT)
(patient ?STATE ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT ?FORMULA))) 
Merge.kif 1296212968 

(=>
(and
(instance ?TEXT ?CLASS)
(subclass ?CLASS FactualText)
(authors ?AGENT ?CLASS)
(subsumesContentInstance ?TEXT ?CONTENT)
(instance ?CONTENT Formula))
(believes ?AGENT ?CONTENT)) 
Merge.kif 1536715374 

(=>
(and
(instance ?TR TravelRequest)
(agent ?TR ?EMPLOYEE)
(patient ?TR ?FORMULA)
(instance ?FORMULA Formula))
(desires ?EMPLOYEE ?FORMULA)) 
TravelPolicies.kif 499505 

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

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

(=>
(and
(pValue ?EXPERIMENT ?VALUE)
(instance ?EXPERIMENT ?EXPERIMENTING)
(instance ?FORMULA Formula)
(patient ?EXPERIMENT ?FORMULA))
(represents ?VALUE
(ProbabilityFn ?FORMULA))) 
UXExperimentalTerms.kif 705711 
