No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 740-743 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11451-11451 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10132-10132 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11450-11450 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 739-739 |
Monophonic music is an instance of relational attribute |