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 410-421 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 380-387 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 394-402 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 459-472 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 729-736 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15771-15776 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15759-15764 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 691-697 |
|
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 |
|