No TPTP formula. May not be expressible in strict first order. |
Music.kif 189-190 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 193-193 |
O argumento numero 1 de musician e' uma instancia de MusicRecording |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 194-194 |
O argumento numero 2 de musician e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 195-195 |
O argumento numero 3 de musician e' uma sub-classe de MakingMusic |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 188-188 |
musician e' uma instancia de Predicado Ternario |