No TPTP formula. May not be expressible in strict first order. |
Music.kif 280-287 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 408-419 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 378-385 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 392-400 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 457-470 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 727-734 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14399-14404 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14387-14392 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 689-695 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 180-186 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 216-221 |
|