No TPTP formula. May not be expressible in strict first order. |
Music.kif 141-144 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 138-139 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 145-145 |
O argumento numero 1 de composer e' uma instancia de Agente Cognitivo |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 146-146 |
O argumento numero 2 de composer e' uma instancia de MusicalComposition |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 136-136 |
composer e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 137-137 |
composer e' uma sub-relacao de creator |