No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4241-4267 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4175-4190 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3333-3356 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4638-4652 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1270-1273 |
|