No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3889-3894 |
|
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 4208-4223 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4425-4430 |
|