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 |