No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2483-2489 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2382-2386 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2141-2145 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 771-781 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 736-748 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 125-131 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2667-2672 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1989-1994 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1495-1500 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4079-4085 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2173-2191 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1536-1544 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 434-441 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2953-2961 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1218-1226 |
|