Formula(formula) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3882-3882 | The number 2 argument of holds during is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17468-17468 | The number 1 argument of holds obligation is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17448-17448 | The number 1 argument of holds right is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2596-2596 | The number 1 argument of increases likelihood is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2597-2597 | The number 2 argument of increases likelihood is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2633-2633 | The number 1 argument of independent probability is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2634-2634 | The number 2 argument of independent probability is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2826-2826 | The number 2 argument of knows is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17324-17324 | The number 1 argument of modal attribute is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Law.kif 22-22 | The number 2 argument of permits is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2687-2687 | The number 2 argument of prefers is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2688-2688 | The number 3 argument of prefers is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Law.kif 44-44 | The number 2 argument of prohibits is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2989-2989 | The number 2 argument of rate detail is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2846-2846 | The number 2 argument of says is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4142-4142 | The number 2 argument of treated page definition is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1163-1163 | The number 2 argument of visitor profile parameter is an instance of formula |