No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10363-10374 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8870-8877 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1630-1642 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 114-132 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 147-164 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8486-8488 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8517-8519 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 266-286 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8892-8899 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19166-19171 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19173-19178 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19191-19196 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19184-19189 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 264-278 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 369-374 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 362-367 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 430-435 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 423-428 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2023-2043 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19121-19129 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19153-19158 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19146-19151 |
|