No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3301-3320 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3262-3279 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 961-971 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 973-987 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 921-932 |
|
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 4331-4342 |
|
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 2954-2962 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1415-1423 |
|