No TPTP formula. May not be expressible in strict first order. |
Media.kif 931-936 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5603-5608 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5647-5652 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5637-5642 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5667-5672 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5657-5662 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5677-5682 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2530-2535 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14955-14961 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1138-1143 |
|
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. |
Media.kif 1521-1526 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2126-2131 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 312-321 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2215-2224 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2204-2213 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4034-4039 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3755-3769 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3994-4012 |
|
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 |
|