No TPTP formula. May not be expressible in strict first order. |
Music.kif 1043-1044 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1048-1048 |
ContestFn 的 2 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1047-1047 |
ContestFn 的 1 数量 是 比赛 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1042-1042 |
ContestFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1049-1049 |
ContestFn 的 range 是 比赛 的实例 |