No TPTP formula. May not be expressible in strict first order. 
TravelPolicies.kif 175181 

No TPTP formula. May not be expressible in strict first order. 
Government.kif 760766 

( ! [V__EXPERIMENT,V__CONFIDENCE,V__EXPERIMENTING,V__FORMULA] :
((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
&
s__instance(V__EXPERIMENT,V__EXPERIMENTING)
&
s__instance(V__FORMULA,s__Formula) &
s__patient(V__EXPERIMENT,V__FORMULA)
&
(V__CONFIDENCE = 100))
=>
s__truth(V__FORMULA,'$false__m'))
)

UXExperimentalTerms.kif 680687 

( ! [V__EXPERIMENT,V__CONFIDENCE,V__EXPERIMENTING,V__FORMULA] :
((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
&
s__instance(V__EXPERIMENT,V__EXPERIMENTING)
&
s__instance(V__FORMULA,s__Formula) &
s__patient(V__EXPERIMENT,V__FORMULA)
&
(V__CONFIDENCE = 100))
=>
s__truth(V__FORMULA,'$true__m'))
)

UXExperimentalTerms.kif 671678 

No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 662668 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1314113146 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 28132820 

No TPTP formula. May not be expressible in strict first order. 
Facebook.kif 608618 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1312613132 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1311113117 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1304113047 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1544615453 

No TPTP formula. May not be expressible in strict first order. 
TravelPolicies.kif 499505 

( ! [V__EXPERIMENT,V__VALUE,V__EXPERIMENTING,V__FORMULA] :
((s__pValue(V__EXPERIMENT,V__VALUE)
&
s__instance(V__EXPERIMENT,V__EXPERIMENTING)
&
s__instance(V__FORMULA,s__Formula) &
s__patient(V__EXPERIMENT,V__FORMULA)
&
(V__VALUE = 0))
=>
s__truth(V__FORMULA,'$true__m'))
)

UXExperimentalTerms.kif 713720 

( ! [V__EXPERIMENT,V__VALUE,V__EXPERIMENTING,V__FORMULA] :
((s__pValue(V__EXPERIMENT,V__VALUE)
&
s__instance(V__EXPERIMENT,V__EXPERIMENTING)
&
s__instance(V__FORMULA,s__Formula) &
s__patient(V__EXPERIMENT,V__FORMULA)
&
(V__VALUE = 1))
=>
s__truth(V__FORMULA,'$false__m'))
)

UXExperimentalTerms.kif 722729 

No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 704710 
