No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 375-379 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2693-2699 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1189-1205 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 176-180 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3130-3147 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3055-3079 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2274-2285 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1448-1452 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 307-322 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 282-292 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 271-280 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 338-358 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1156-1162 |
|