No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 299-303 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2483-2489 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 992-1008 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 139-143 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2845-2870 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2922-2940 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2065-2076 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1251-1255 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 240-255 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 220-230 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 209-218 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 266-286 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 959-965 |
|