No TPTP formula. May not be expressible in strict first order. |
Media.kif 1336-1350 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26707-26720 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1457-1470 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16397-16399 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8146-8152 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8066-8074 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8192-8196 |
|