No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3299-3318 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3260-3277 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 959-969 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 971-985 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 919-930 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2310-2316 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1765-1774 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4329-4341 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2379-2397 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1742-1750 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2917-2925 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1414-1422 |
|