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 |
Le nombre 1 argument de musician est une instance de MusicRecording |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 194-194 |
Le nombre 2 argument de musician est une instance de humain |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 195-195 |
Le nombre 3 argument de musician est une sous-classe de MakingMusic |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 188-188 |
musician est une instance de pr�dicat ternaire |