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 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1047-1047 |
域子類 ContestFn, 1 and Contest |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1042-1042 |
例 ContestFn and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1049-1049 |
範圍 ContestFn and Contest |