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 26719-26732 |
|
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 16375-16377 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8124-8130 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8044-8052 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8170-8174 |
|