Collection |
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 |
|