No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4357-4374 |
|
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 3882-3886 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4501-4518 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3851-3862 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3968-3979 |
|