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 |
The number 1 argument of musician is an instance of music recording |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 194-194 |
The number 2 argument of musician is an instance of human |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 195-195 |
The number 3 argument of musician is a subclass of making music |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 188-188 |
musician is an instance of ternary predicate |