No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4043-4047 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3897-3902 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3923-3934 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4432-4437 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4345-4355 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4208-4223 |
|