No TPTP formula. May not be expressible in strict first order. |
Music.kif 334-335 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 338-338 |
域 albumTrack, 1 and Recording |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 339-339 |
域 albumTrack, 2 and Album |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 333-333 |
例 albumTrack and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 332-332 |
子關係 albumTrack and 在列表中 |