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 |
域 composer, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 146-146 |
域 composer, 2 and 音樂作品 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 136-136 |
例 composer and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 137-137 |
子關係 composer and creator |